Login / Signup
Thi-Kim-Zung Pham
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 1
Top Topics
Software Engineering
Formal Languages
Product Lines
Top Venues
FMSPLE
</>
Publications
</>
Thi-Kim-Zung Pham
,
Catherine Dubois
,
Nicole Lévy
Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules.
FMSPLE
(2015)