Maurice H. ter Beek, Martin Becker 0002, Andreas Classen, Fabricia Roos-Frantz, Ina Schaefer, Peter Y. H. Wong. Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series. In Eduardo Santana de Almeida, Christa Schwanninger, David Benavides, editors, 16th International Software Product Line Conference, SPLC '12, Salvador, Brazil - September 2-7, 2012, Volume 1. pages 286-287, ACM, 2012. [doi]
Abstract is missing.