TY  - JOUR
A1  - Reif, Wolfgang
A2  - Vogler, Heiko
T1  - Software Verifikation: Stand und Perspektiven
T2  - Grundlagen, Spezifikation, Implementierung und Verifikation von Programmiersprachen: Technischer Bericht FI96/06, TU Dresden
Y1  - 2019
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/60753
ER  -