Structured Formal Development in VSE II: The Robertino Case Study

@inproceedings{pub1612,
    author = {

Rock, Georg
 and 

Stephan, Werner
 and 

Wolpers, Andreas
 and 

Balser, Michael
 and 

Reif, Wolfgang
 and 

Scheer, Stefan
},
    editor = {

Saglietti, Francesca
 and 

Goerigk, Wolfgang
},
    title = {Structured Formal Development in VSE II: The Robertino Case Study},
    booktitle = {Proceedings Workshop Sicherheit und Zuverlässigkeit software-basierter Systeme. Joint German ENCRESS / ISA-EUNET Event (ENCRESS-99), 3rd, May 3-5, Bad Honnef, Germany},
    series = {Bericht ISTec-A-367},
    year = {1999},
    pages = {138--152},
    publisher = {ISTec},
    isbn = {3-00-004872-3}
}