Reports for Author "Michael, Neophytos G."

TR-619-00 - Machine Instruction Syntax and Semantics in Higher Order Logic (2000-04-00)
Appel, Andrew W. / Michael, Neophytos G.
TR-648-02 - A Trustworthy Proof Checker (2002-04-00)
Stump, Aaron / Virga, Roberto / Appel, Andrew W. / Michael, Neophytos G.