Charles Antony Richard Hoare, Michael J. C. Gordon
Partial Correctness of C-MOS Switching Circuits: An Exercise in Applied Logic
LICS, 1988.
@inproceedings{LICS-1988-HoareG,
author = "Charles Antony Richard Hoare and Michael J. C. Gordon",
booktitle = "{Proceedings of the Third Annual Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.1988.5098",
isbn = "0-8186-0853-6",
pages = "28--36",
publisher = "{IEEE Computer Society}",
title = "{Partial Correctness of C-MOS Switching Circuits: An Exercise in Applied Logic}",
year = 1988,
}