Login / Signup

The ideal of verified software.

Tony Hoare
Published in: ACL2 (2006)
Keyphrases