Formal Methods and their Role in the Certification of Critical Systems (1995)

by John Rushby
Venue:Safety and Reliability of Software Based Systems (Twelfth Annual CSR Workshop