Harnessing Disruptive Innovation in Formal Verification.

John M. Rushby

Browse the full SEFM paper archive.