Skip to main content

Towards a Calculus of Total Correctness for the Design of C−MOS Switching Circuits

C. A. R. Hoare

Month
aug
Note
Typed manuscript
Year
1987