Software verification and system assurance (0)

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