David Hemer. Semi-Automated Component-Based Development of Formally Verified Software. Electronic Notes in Theoretical Computer Science, 187:173-188, 2007. [doi]
@article{Hemer07,
title = {Semi-Automated Component-Based Development of Formally Verified Software},
author = {David Hemer},
year = {2007},
doi = {10.1016/j.entcs.2006.08.051},
url = {http://dx.doi.org/10.1016/j.entcs.2006.08.051},
tags = {rule-based, software components, software component},
researchr = {https://researchr.org/publication/Hemer07},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {187},
pages = {173-188},
}