Formal Software Development in the Verification Support Environment

@article{pub1564,
    author = {

Hutter, Dieter
 and 

Langenstein, Bruno
 and 

Rock, Georg
 and 

Siekmann, Jörg
 and 

Stephan, Werner
 and 

Vogt, Roland
},
    title = {Formal Software Development in the Verification Support Environment},
    year = {2000},
    journal = {Journal of Experimental and Theoretical Artificial Intelligence (JETAI)},
    note = {accepted, forthcoming}
}