Mark Priestly. The Logic of Correctness in Software Engineering. In Jaelson Castro, Ernest Teniente, editors, Advanced Information Systems Engineering, 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings of the CAiSE 05 Workshops, Vol. 2. pages 463-473, FEUP Edições, Porto, 2005.
@inproceedings{Priestly05,
title = {The Logic of Correctness in Software Engineering},
author = {Mark Priestly},
year = {2005},
tags = {software engineering, logic},
researchr = {https://researchr.org/publication/Priestly05},
cites = {0},
citedby = {0},
pages = {463-473},
booktitle = {Advanced Information Systems Engineering, 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings of the CAiSE 05 Workshops, Vol. 2},
editor = {Jaelson Castro and Ernest Teniente},
publisher = {FEUP Edições, Porto},
isbn = {972-752-077-4},
}