Proceedings-Artikel
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. Universitaet Kiel, 2000.