Ubiquitous Abstraction: A New Approach to Mechanized Formal Verification.

John M. Rushby

Browse the full ICFEM paper archive.