DMCA

Formal Verification of an Interactive Consistency Algorithm for the Draper FTP . . . (1994)

by Patrick Lincoln , John Rushby
Venue:IN COMPASS ’94 (PROCEEDINGS OF THE NINTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE
Citations:15 - 5 self