%A Thi Kim Dung Pham
%A Catherine Dubois
%A Nicole Levy
%J Electronic Proceedings in Theoretical Computer Science
%T Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules
%P 44-55
%V 182
%D 2015
%C London, United Kingdom
%R doi:10.4204/EPTCS.182.4
%L SisLab1648