Verification Support Environment (VSE)

@article{pub1567,
    author = {

Hutter, Dieter
 and 

Langenstein, Bruno
 and 

Sengler, Claus
 and 

Siekmann, Jörg
 and 

Stephan, Werner
 and 

Wolpers, Andreas
},
    title = {Verification Support Environment (VSE)},
    year = {1996},
    volume = {1},
    number = {6},
    pages = {523--530},
    journal = {Journal of High Integrity Systems},
    publisher = {Oxford University Press}
}