Programmentwicklung durch Spezifikation und Transformation Bremer Beiträge zum Verbundprojekt KORSO (Korrekte Software) 2

Bibliographische Detailangaben

Weitere Verfasser:	Krieg-Brückner, Bernd (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	und
Veröffentlicht:	Bremen FB 3 Mathematik u. Informatik, Univ. Bremen 1994
Schriftenreihe:	Informatik 1994,10
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!