TU Darmstadt / ULB / TUbiblio

VSE: Controlling the Complexity in Formal Software Developments

Hutter, Dieter ; Mantel, Heiko ; Rock, Georg ; Stephan, Werner ; Wolpers, Andreas ; Balser, Michael ; Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt (1998)
VSE: Controlling the Complexity in Formal Software Developments.
Conference or Workshop Item, Bibliographie

Item Type: Conference or Workshop Item
Erschienen: 1998
Creators: Hutter, Dieter ; Mantel, Heiko ; Rock, Georg ; Stephan, Werner ; Wolpers, Andreas ; Balser, Michael ; Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt
Type of entry: Bibliographie
Title: VSE: Controlling the Complexity in Formal Software Developments
Language: German
Date: 1998
Publisher: Springer
Book Title: International Workshop on Applied Formal Methods -- FM-Trends
Series: LNCS 1641
Identification Number: inp:vsegroup1998a
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
Date Deposited: 31 Dec 2016 09:57
Last Modified: 03 Jun 2018 21:30
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details