Management of Change in Verification Systems

@inproceedings{pub1578,
    author = {

Hutter, Dieter
},
    title = {Management of Change in Verification Systems},
    booktitle = {Proceedings 15th IEEE International Conference on Automated Software Engineering, ASE-2000. IEEE International Conference on Automated Software Engineering (ASE)},
    year = {2000},
    pages = {23--34},
    publisher = {IEEE Computer Society}
}