Robert S. Boyer

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Automated proofs of object code for a widely used microprocessor

Robert S. Boyer and others (1996) · Association for Computing Machinery (ACM)

Metafunctions: proving them correct and using them efficiently as new proof procedures

Robert S. Boyer and others (1981) · The Correctness Problem in Computer Science · Academic Press

A Computational Logic

Robert S. Boyer and others (1979) · Academic Press