Publikation
In: D. Basin; H. Ganzinger; J. Harrison; A. Pnueli (Hrsg.). Dagstuhl Seminar 03451, Applied Deductive Verification. Dagstuhl Seminare/Workshops, 2003.
@inproceedings{pub1638, author = { Hutter, Dieter }, editor = { Basin, D. and Ganzinger, H. and Harrison, J. and Pnueli, A. }, title = {Maintaining Formal Developments}, booktitle = {Dagstuhl Seminar 03451, Applied Deductive Verification. Dagstuhl Seminare/Workshops}, year = {2003} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023