Protocol Verification in Nuprl.

Amy P. Felty, Douglas J. Howe, Frank A. Stomp

Browse the full CAV paper archive.