Stefan Kauer. Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme. PhD thesis, Friedrich Schiller University of Jena, 1999. [doi]
No references recorded for this publication.
No citations of this publication recorded.