Richard J. Lipton. A Necessary and Sufficient Condition for the Existence of Hoare Logics. In 18th Annual Symposium on Foundations of Computer Science, 31 October-2 November, Providence, Rhode Island, USA. pages 1-6, IEEE, 1977.
@inproceedings{Lipton77,
title = {A Necessary and Sufficient Condition for the Existence of Hoare Logics},
author = {Richard J. Lipton},
year = {1977},
tags = {logic},
researchr = {https://researchr.org/publication/Lipton77},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {18th Annual Symposium on Foundations of Computer Science, 31 October-2 November, Providence, Rhode Island, USA},
publisher = {IEEE},
}