<div class="csl-bib-body">
<div class="csl-entry">Kirner, M. (2006). <i>Automatic loop bound analysis of programs written in C</i> [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-32872</div>
</div>