Vaughan R. Pratt. Semantical Considerations on Floyd-Hoare Logic. In 17th Annual Symposium on Foundations of Computer Science, 25-27 October 1976, Houston, Texas, USA. pages 109-121, IEEE, 1976.
@inproceedings{Pratt76,
title = {Semantical Considerations on Floyd-Hoare Logic},
author = {Vaughan R. Pratt},
year = {1976},
tags = {logic},
researchr = {https://researchr.org/publication/Pratt76},
cites = {0},
citedby = {0},
pages = {109-121},
booktitle = {17th Annual Symposium on Foundations of Computer Science, 25-27 October 1976, Houston, Texas, USA},
publisher = {IEEE},
}