Moshe Deutsch, Martin C. Henson. An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement. In 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan. pages 149-158, IEEE Computer Society, 2005. [doi]
@inproceedings{DeutschH05:0,
title = {An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement},
author = {Moshe Deutsch and Martin C. Henson},
year = {2005},
doi = {10.1109/APSEC.2005.29},
url = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2005.29},
tags = {refinement, C++, systematic-approach},
researchr = {https://researchr.org/publication/DeutschH05%3A0},
cites = {0},
citedby = {0},
pages = {149-158},
booktitle = {12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan},
publisher = {IEEE Computer Society},
isbn = {0-7695-2465-6},
}