Automatic program verification 3 A methodology for verifying programs

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Henke, Friedrich W. von (VerfasserIn)
Weitere Verfasser:	Luckham, David (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1974
Schriftenreihe:	Reports / Stanford University STAN-CS-74-474 Reports / Stanford University MEMO AIM-256
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	42 S.