Formal Software Development in the Verification Support Environment (VSE)

@inproceedings{pub1572,
    author = {

Hutter, Dieter
 and 

Rock, Georg
 and 

Siekmann, Jörg
 and 

Stephan, Werner
 and 

Vogt, Roland
},
    title = {Formal Software Development in the Verification Support Environment (VSE)},
    booktitle = {Proceedings 13th International Florida Artificial Intelligence Research Symposium (FLAIRS-2000). International FLAIRS Conference (FLAIRS)},
    year = {2000},
    pages = {367--376},
    publisher = {AAAI-Press}
}