Meyer, T. (1996). Anwendung von PVS zur Codegenerator-Verifikation. Inst. für Informatik und Praktische Math.
Chicago-Zitierstil (17. Ausg.)Meyer, Thies. Anwendung Von PVS Zur Codegenerator-Verifikation. Kiel: Inst. für Informatik und Praktische Math, 1996.
MLA-Zitierstil (9. Ausg.)Meyer, Thies. Anwendung Von PVS Zur Codegenerator-Verifikation. Inst. für Informatik und Praktische Math, 1996.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.