Publikation
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. International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Springer-Verlag, LNAI, 2002.