Publikation
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.
@inproceedings{pub1628, author = { Autexier, Serge and Hutter, Dieter }, title = {Maintenance of Formal Software Developments by Stratified Verification}, booktitle = {Proceedings 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning. International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR)}, year = {2002}, publisher = {Springer-Verlag, LNAI} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023