TU Darmstadt / ULB / TUbiblio

VSE: Controlling the Complexity in Formal Software Developments

Hutter, Dieter and Mantel, Heiko and Rock, Georg and Stephan, Werner and Wolpers, Andreas and Balser, Michael and Reif, Wolfgang and Schellhorn, Gerhard and Stenzel, Kurt (1998):
VSE: Controlling the Complexity in Formal Software Developments.
In: International Workshop on Applied Formal Methods -- FM-Trends, Boppard, Germany, Springer, In: LNCS 1641, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 1998
Creators: Hutter, Dieter and Mantel, Heiko and Rock, Georg and Stephan, Werner and Wolpers, Andreas and Balser, Michael and Reif, Wolfgang and Schellhorn, Gerhard and Stenzel, Kurt
Title: VSE: Controlling the Complexity in Formal Software Developments
Language: English
Title of Book: International Workshop on Applied Formal Methods -- FM-Trends
Series Name: LNCS 1641
Place of Publication: Boppard, Germany
Publisher: Springer
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
Additional Information:

inp:vsegroup1998a

Export:

Optionen (nur für Redakteure)

View Item View Item