"Automated Correctness Proofs of Machine Code Programs for a Commercial ..."

Robert S. Boyer, Yuan Yu (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics