Deduction in the Verification Support Environment (VSE)

@inproceedings{pub1568,
    author = {

Hutter, Dieter
 and 

Langenstein, Bruno
 and 

Sengler, Claus
 and 

Stephan, Werner
},
    editor = {

Buth, B.
 and 

Berghammer, R.
},
    title = {Deduction in the Verification Support Environment (VSE)},
    booktitle = {Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Workshop on Systems for Computer-Aided Specification, Development and Verification, July 4-5, Kiel, Germany},
    series = {Techical Report},
    year = {1994},
    volume = {9416},
    publisher = {Universität Kiel},
    note = {Tagungsort: Christian-Albrechts-Universität zu Kiel}
}