Automated Reasoning for System Verification: A Tutorial Introduction into VSE-II

@inproceedings{pub1569,
    author = {

Hutter, Dieter
 and 

Mantel, Heiko
 and 

Jantke, Klaus P.
 and 

Rock, Georg
 and 

Stephan, Werner
},
    title = {Automated Reasoning for System Verification: A Tutorial Introduction into VSE-II},
    booktitle = {Proceedings Ilmenau International Scientific Colloquium, Special Track: Validation and Verification. Ilmenau International Scientific Colloquium},
    year = {2000}
}