Automatic program verification 5 Verification-oriented proof rules for arrays, records and pointers / by David Luckham and Norihisa Suzuki

Bibliographische Detailangaben

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