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