Deduction in the Verification Support Environment (VSE)

@inproceedings{pub1566,
    author = {

Hutter, Dieter
 and 

Langenstein, Bruno
 and 

Sengler, Claus
 and 

Siekmann, Jörg
 and 

Stephan, Werner
 and 

Wolpers, Andreas
},
    editor = {

Woodcock, J.
 and 

Gaudel, M. C.
},
    title = {Deduction in the Verification Support Environment (VSE)},
    booktitle = {Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in Formal Methods. Formal Methods Europe (FME-96), 3rd, March 17-21, Oxford, United Kingdom},
    series = {Lecture Notes In Computer Science (LNCS)},
    year = {1996},
    volume = {1051},
    pages = {168--286},
    publisher = {Springer-Verlag},
    isbn = {3-540-60973-3}
}