DMCA

Protocol Verification in Nuprl (1998)

by Amy P. Felty , Douglas J. Howe , Frank A. Stomp
Venue:IN TENTH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION
Citations:11 - 4 self