Publikation
In: W.Goerig (Hrsg.). Proceedings Workshop on Engineering of Software Verification, Validation, and Certification. Workshop on Engineering of Software Verification, Validation, and Certification, Universitaet Kiel, 2000.
@inproceedings{pub1546, author = { Autexier, Serge and Hutter, Dieter }, editor = { W.Goerig, }, title = {Towards an efficient management of change in an evolutionary formal software development}, booktitle = {Proceedings Workshop on Engineering of Software Verification, Validation, and Certification. Workshop on Engineering of Software Verification, Validation, and Certification}, year = {2000}, publisher = {Universitaet Kiel} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023