Ursula Martin, Erik A. Mathiesen, Paulo Oliva. Hoare Logic in the Abstract. In Zoltán Ésik, editor, Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings. Volume 4207 of Lecture Notes in Computer Science, pages 501-515, Springer, 2006. [doi]
@inproceedings{MartinMO06,
title = {Hoare Logic in the Abstract},
author = {Ursula Martin and Erik A. Mathiesen and Paulo Oliva},
year = {2006},
doi = {10.1007/11874683_33},
url = {http://dx.doi.org/10.1007/11874683_33},
tags = {logic},
researchr = {https://researchr.org/publication/MartinMO06},
cites = {0},
citedby = {0},
pages = {501-515},
booktitle = {Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings},
editor = {Zoltán Ésik},
volume = {4207},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-45458-6},
}