![](/img/cover-not-exists.png)
[ACM Press the 22nd ACM SIGSOFT International Symposium - Hong Kong, China (2014.11.16-2014.11.21)] Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014 - Counterexample guided abstraction refinement of product-line behavioural models
Cordy, Maxime, Heymans, Patrick, Legay, Axel, Schobbens, Pierre-Yves, Dawagne, Bruno, Leucker, MartinYear:
2014
Language:
english
DOI:
10.1145/2635868.2635919
File:
PDF, 1.22 MB
english, 2014