Management of change in structured verification (2000)

by D Hutter
Venue:In: Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE-2000