Publication
Management of Change in Verification Systems
Dieter Hutter
In: Proceedings 15th IEEE International Conference on Automated Software Engineering, ASE-2000. IEEE International Conference on Automated Software Engineering (ASE), Pages 23-34, IEEE Computer Society, 2000.