| |
| 2003 | ||
|---|---|---|
| 2 | EE | Andrew W. Appel, Neophytos G. Michael, Aaron Stump, Roberto Virga: A Trustworthy Proof Checker. J. Autom. Reasoning 31(3-4): 231-260 (2003) |
| 2000 | ||
| 1 | Neophytos G. Michael, Andrew W. Appel: Machine Instruction Syntax and Semantics in Higher Order Logic. CADE 2000: 7-24 | |
| 1 | Andrew W. Appel | [1] [2] |
| 2 | Aaron Stump | [2] |
| 3 | Roberto Virga | [2] |