Harnessing disruptive innovation in formal verification (2006)

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