Stefan Kauer. Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme. PhD thesis, Friedrich Schiller University of Jena, 1999. [doi]
@phdthesis{de-366,
title = {Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme},
author = {Stefan Kauer},
year = {1999},
url = {http://www.db-thueringen.de/servlets/DerivateServlet/Derivate-794/Kauer.pdf},
note = {http://d-nb.info/986369985},
researchr = {https://researchr.org/publication/de-366},
cites = {0},
citedby = {0},
school = {Friedrich Schiller University of Jena},
}