A catalogue of criteria for evaluating formal methods and its application

Bibliographische Detailangaben

1. Verfasser:	Deiß, Thomas (VerfasserIn)
Weitere Verfasser:	Kronenburg, Martin (VerfasserIn), Zeckzer, Dirk (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Kaiserslautern Univ., SFB 501 1997
Schriftenreihe:	SFB 501 Bericht 04/97
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!