VSE: Controlling the Complexity in Formal Software Developments

@inproceedings{pub1570,
    author = {

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
},
    editor = {

Hutter, Dieter
 and 

Stephan, Werner
 and 

Traverso, P.
 and 

Ullmann, M.
},
    title = {VSE: Controlling the Complexity in Formal Software Developments},
    booktitle = {Proceedings Current Trends in Applied Formal Methods. International Workshop on Current Trends in Applied Formal Methods (FM-Trends-98), Boppard, Germany},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {1999},
    volume = {1641},
    pages = {351--358},
    publisher = {Springer-Verlag},
    isbn = {978-3-540-66462-8}
}