A Trustworthy Proof Checker (2002)

Cached

Download Links

by Andrew W. Appel , Neophytos Michael , Aaron Stump , Roberto Virga
Venue:IN ILIANO CERVESATO, EDITOR, WORKSHOP ON THE FOUNDATIONS OF COMPUTER SECURITY
Citations:29 - 7 self

Document Versions

A Trustworthy Proof Checker –Andrew W. Appel , Neophytos Michael, Aaron Stump, Roberto Virga — 2002 — IN ILIANO CERVESATO, EDITOR, WORKSHOP ON THE FOUNDATIONS OF COMPUTER SECURITY