Verifying incomplete and evolving specifications

Publication
Companion Proceedings of the 36th International Conference on Software Engineering