PADS proof assistance for the development of software : Abschlußbericht ; [Abschlußdatum des Vorhabens: 31.03.1998]

Bibliographische Detailangaben

1. Verfasser:	Hutter, Dieter (VerfasserIn)
Weitere Verfasser:	Stephan, Werner (VerfasserIn), Siekmann, Jörg H. (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Kaiserslautern DFKI 1998
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!