Nachiappan Veerappan Nachiappan

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Nachiappan Veerappan Nachiappan, Jarred Blount, J. Nelson Rushton
A System for Checking Semi-formal Proofs. FECS (2008)