Software verification and system assurance (2009)

by John Rushby
Venue:Seventh International Conference on Software Engineering and Formal Methods (SEFM