Skip to main content

Partial Correctness of C−MOS Switching Circuits: An Exercise in Applied Logic

C. A. R. Hoare and Michael J. C. Gordon

Book Title
Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88)‚ Edinburgh‚ Scotland‚ UK‚ July 5−8‚ 1988
Pages
28−36
Publisher
IEEE Computer Society
Year
1988