Neophytos G. Michael

Publication Activity (10 Years)

Years Active: 2000-2003
Publications (10 Years): 0

Publications

Andrew W. Appel, Neophytos G. Michael, Aaron Stump, Roberto Virga
A Trustworthy Proof Checker. J. Autom. Reason. 31 (3-4) (2003)
Neophytos G. Michael, Andrew W. Appel
Machine Instruction Syntax and Semantics in Higher Order Logic. CADE (2000)