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

by Yuan Yu
Citations:78 - 3 self