Harnessing Disruptive Innovation in Formal Verification (0)

by J M Rushby
Venue:in Proc. SEFM, 2006