eprintid: 1648
rev_number: 7
eprint_status: archive
userid: 11
dir: disk0/00/00/16/48
datestamp: 2016-06-03 09:41:37
lastmod: 2016-06-03 09:41:37
status_changed: 2016-06-03 09:41:37
type: conference_item
metadata_visibility: show
creators_name: Pham, Thi Kim Dung
creators_name: Dubois, Catherine
creators_name: Levy, Nicole
title: Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules
ispublished: pub
subjects: IT
divisions: fac_fit
date: 2015
date_type: published
official_url: http://dx.doi.org/10.4204/EPTCS.182.4
id_number: doi:10.4204/EPTCS.182.4
full_text_status: none
pres_type: paper
publication: Electronic Proceedings in Theoretical Computer Science
volume: 182
pagerange: 44-55
event_title: FMSPLE: the 6th Workshop on Formal Methods and Analysis in SPL Engineering
event_location: London, United Kingdom
event_dates: 11 April 2015
event_type: conference
refereed: TRUE
issn: 2075-2180
citation:   Pham, Thi Kim Dung and Dubois, Catherine and Levy, Nicole  (2015) Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules.  In: FMSPLE: the 6th Workshop on Formal Methods and Analysis in SPL Engineering, 11 April 2015, London, United Kingdom.