Toggle navigation
Home
People
Departments
Research
About
Login
Search
Companion Proceedings of the 36th International Conference on Software Engineering
Journal
Overview
Overview
publication venue for
Verifying incomplete and evolving specifications
2014