<div class="csl-bib-body">
<div class="csl-entry">Feinerer, I. (2005). <i>Formal program verification : a comparison of selected tools and their theoretical foundations</i> [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-12860</div>
</div>