Claudio Menghi. Verifying incomplete and evolving specifications. In Pankaj Jalote, Lionel C. Briand, André van der Hoek, editors, 36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014. pages 670-673, ACM, 2014. [doi]
Abstract is missing.