A mechanized program verifier (2005)

by J Strother Moore
Venue:In IFIP Working Conference on the Program Verifier Challenge