Daniel Dietsch. Automated verification of system requirements and software specifications. PhD thesis, University of Freiburg, Freiburg im Breisgau, Germany, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.