TY  - RPRT
TI  - Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules
AU  - Thi-Kim-Zung Pham
AU  - Catherine Dubois
AU  - Nicole Levy
PY  - 2015
DO  - 10.4204/eptcs.182.4
UR  - https://arxiv.org/abs/1504.03475
ID  - 1504.03475
ER  -