Proceedings-Artikel
Maintenance of Formal Software Developments by Stratified Verification
Serge Autexier; Dieter Hutter
In: Proceedings 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning. Springer-Verlag, LNAI, 2002.