Formal methods and the certification of critical systems (1993)

by J Rushby
Venue:Computer Science Laboratory, SRI International, Menlo Park, Technical Report