Maintenance of Formal Software Development by Stratified Verification
@inproceedings{AH-03-a, author = {Autexier, Serge and Hutter, Dieter}, editor = {Baaz, Mathias and Voronkov, Andrei}, booktitle = {Proceedings of LPAR'02}, title = {Maintenance of Formal Software Development by Stratified Verification}, series = {LNCS}, publisher = {Springer}, address = {Tbilissi, Georgia}, month = {september}, year = {2002}, }