Mechanizing programming logics in higher order logic (1989)

by M Gordon
Venue:In: in Current Trends in Hardware Verification and Automated Theorem Proving