Maintenance of Formal Software Developments by Stratified Verification

@inproceedings{pub1628,
    author = {

Autexier, Serge
 and 

Hutter, Dieter
},
    title = {Maintenance of Formal Software Developments by Stratified Verification},
    booktitle = {Proceedings 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning. International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR)},
    year = {2002},
    publisher = {Springer-Verlag, LNAI}
}