%0 Conference Paper
%A Pham, Thi Kim Dung
%A Dubois, Catherine
%A Levy, Nicole
%B FMSPLE: the 6th Workshop on Formal Methods and Analysis in SPL Engineering
%C London, United Kingdom
%D 2015
%F SisLab:1648
%P 44-55
%T Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1648/
%V 182