David Benavides, Martin Leucker, Martin Becker 0002, Rick Rabiser, Karina Villela, Peter Y. H. Wong. Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011). In Eduardo Santana de Almeida, Tomoji Kishi, Christa Schwanninger, Isabel John, Klaus Schmid, editors, Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011. pages 336, IEEE, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.