I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen. Building Verification Condition Generators by Compositional Extensions. In Bernhard K. Aichernig, Bernhard Beckert, editors, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany. pages 220-230, IEEE Computer Society, 2005. [doi]
@inproceedings{PrasetyaAVL05,
title = {Building Verification Condition Generators by Compositional Extensions},
author = {I. S. W. B. Prasetya and A. Azurat and Tanja E. J. Vos and Arthur van Leeuwen},
year = {2005},
doi = {10.1109/SEFM.2005.11},
url = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.11},
tags = {composition},
researchr = {https://researchr.org/publication/PrasetyaAVL05},
cites = {0},
citedby = {0},
pages = {220-230},
booktitle = {Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany},
editor = {Bernhard K. Aichernig and Bernhard Beckert},
publisher = {IEEE Computer Society},
isbn = {0-7695-2435-4},
}