The VSE development method - a way to engineer high-assurance software systems

@inproceedings{pub1620,
    author = {

Koop, Frank
 and 

Ullmann, Markus
 and 

Wittmann, Stefan
 and 

Hutter, Dieter
 and 

Langenstein, Bruno
 and 

Sengler, Claus
 and 

Stephan, Werner
 and 

Wolpers, Andreas
 and 

Reif, Wolfgang
},
    editor = {

Gotzhein, R.
 and 

Bredereke, J.
},
    title = {The VSE development method - a way to engineer high-assurance software systems},
    booktitle = {Tagungsband des 5. GI/ITG-Fachgesprächs "Formale Beschreibungstechniken für verteilte Systeme". GI/ITG-Fachgespräch (FBT), June 22-23, Kaiserlautern, Germany},
    year = {1995},
    organization = {GI-Tagung IFG}
}