Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

VSE: Controlling the Complexity in Formal Software Developments.

FM-Trends. 1998 S. 351 - 358

Erscheinungsjahr: 1998

Publikationstyp: Buchbeitrag (Konferenzbeitrag)

Doi/URN: 10.1007/3-540-48257-1_26

Volltext über DOI/URN

Geprüft:Bibliothek

Autoren


Hutter, Dieter (Autor)
Mantel, Heiko (Autor)
Stephan, Werner (Autor)
Wolpers, Andreas (Autor)
Balser, Michael (Autor)
Reif, Wolfgang (Autor)
Schellhorn, Gerhard (Autor)
Stenzel, Kurt (Autor)

Verknüpfte Personen


Georg Rock

Beteiligte Einrichtungen