Moshe Deutsch, Martin C. Henson. An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II. Logic Journal of the IGPL, 11(3):319-352, 2003. [doi]
@article{DeutschH03:1,
title = {An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II},
author = {Moshe Deutsch and Martin C. Henson},
year = {2003},
url = {http://www3.oup.co.uk/igpl/Volume_11/Issue_03/#DeutschII},
tags = {semantics, refinement, analysis, C++},
researchr = {https://researchr.org/publication/DeutschH03%3A1},
cites = {0},
citedby = {0},
journal = {Logic Journal of the IGPL},
volume = {11},
number = {3},
pages = {319-352},
}