Daniel Dietsch. Automated verification of system requirements and software specifications. PhD thesis, University of Freiburg, Freiburg im Breisgau, Germany, 2016. [doi]
@phdthesis{dnb-12046,
title = {Automated verification of system requirements and software specifications},
author = {Daniel Dietsch},
year = {2016},
url = {http://d-nb.info/112274286X},
researchr = {https://researchr.org/publication/dnb-12046},
cites = {0},
citedby = {0},
school = {University of Freiburg, Freiburg im Breisgau, Germany},
}