[ACM Press Companion the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 - Verifying incomplete and evolving specifications
Menghi, ClaudioYear:
2014
Language:
english
DOI:
10.1145/2591062.2591090
File:
PDF, 390 KB
english, 2014