<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules"^^ . "2015" . . "182" . . "Electronic Proceedings in Theoretical Computer Science"^^ . . . "20752180" . . . . . . . . . . . . . "Thi Kim Dung"^^ . "Pham"^^ . "Thi Kim Dung Pham"^^ . . "Nicole"^^ . "Levy"^^ . "Nicole Levy"^^ . . "Catherine"^^ . "Dubois"^^ . "Catherine Dubois"^^ . . . . "FMSPLE: the 6th Workshop on Formal Methods and Analysis in SPL Engineering"^^ . . . . . "London, United Kingdom"^^ . . . . . "HTML Summary of #1648 \n\nTowards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules\n\n" . "text/html" . . . "Information Technology (IT)"@en . .