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

@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}
}