Yuan Yu
Robert S. Boyer and Yuan Yu.
Automated proofs of object code for a widely used microprocessor.
Journal of the ACM
, 43(1):166-192, January 1996.
Abstract, References, Citations, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database