Automated Proofs of Object Code for a Widely Used Microprocessor (1992)

by Yuan Yu
Citations:83 - 4 self