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: English
Date: October 1998
Place of Publication: Boppard, Germany
Publisher: Springer
Book Title: International Workshop on Applied Formal Methods -- FM-Trends
Series: LNCS 1641
Additional Information:

inp:vsegroup1998a

Divisions: 20 Department of Computer Science
20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
Date Deposited: 09 Apr 2010 14:11
Last Modified: 03 Jun 2018 21:23
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