Maintenance of Formal Software Development by Stratified Verification<pre>@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},
}
</pre>