TY  - CONF
ID  - SisLab1648
UR  - http://dx.doi.org/10.4204/EPTCS.182.4
A1  - Pham, Thi Kim Dung
A1  - Dubois, Catherine
A1  - Levy, Nicole
Y1  - 2015///
VL  - 182
SN  - 2075-2180
TI  - Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules
SP  - 44
M2  - London, United Kingdom
AV  - none
EP  - 55
T2  - FMSPLE: the 6th Workshop on Formal Methods and Analysis in SPL Engineering
ER  -