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.

http://www.dfki.de/vse/papers/ah02.ps.gz (gz, 56 KB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence