Protocol verification in nuprl (0)

by A Felty, D Howe, F Stomp
Venue:In CAV'98, Lecture