Verifying incomplete and evolving specifications

Claudio Menghi
January 2014
Type
Conference paper
Publication
Companion Proceedings of the 36th International Conference on Software Engineering