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

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

Browse the full LICS paper archive.