![](/img/cover-not-exists.png)
[ACM Press the 2nd FME Workshop - Hyderabad, India (2014.06.03-2014.06.03)] Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering - FormaliSE 2014 - Using mCRL2 for the analysis of software product lines
Beek, Maurice H. ter, de Vink, Erik P.Year:
2014
Language:
english
DOI:
10.1145/2593489.2593493
File:
PDF, 695 KB
english, 2014