A new verification strategy for iterative programs

Bibliographische Detailangaben

1. Verfasser:	Dunlop, D. (VerfasserIn)
Weitere Verfasser:	Basili, V. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1981
Schriftenreihe:	Reports / MARYLAND UNIV TR-1114
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!