Spesy - ein interaktives system zur unterstuetzung integrierter programm-spezifikation und -verifikation

Bibliographische Detailangaben

1. Verfasser:	Sommer, W. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1984
Schriftenreihe:	Interne berichte / KAISERSLAUTERN UNIV FB INFORMATIK INT BER 102/84
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!