Publikation

Towards an efficient management of change in an evolutionary formal software development

Serge Autexier; Dieter Hutter

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.

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