Automatic program verification 4 Proof of termination within a weak logic of programs / by David C. Luckham an Norihisa Suzuki

Bibliographische Detailangaben

1. Verfasser:	Luckham, David C. (VerfasserIn)
Weitere Verfasser:	Suzuki, Norihisa (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1975
Schriftenreihe:	Reports / Stanford University STAN-CS-75-522 Reports / Stanford University MEMO AIM-269
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!