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
| 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)
