VNU-UET Repository: No conditions. Results ordered -Date Deposited. 2024-03-28T09:47:59ZEPrintshttp://eprints.uet.vnu.edu.vn/images/sitelogo.pnghttps://eprints.uet.vnu.edu.vn/eprints/2016-06-03T09:41:37Z2016-06-03T09:41:37Zhttp://eprints.uet.vnu.edu.vn/eprints/id/eprint/1648This item is in the repository with the URL: http://eprints.uet.vnu.edu.vn/eprints/id/eprint/16482016-06-03T09:41:37ZTowards correct-by-construction product variants of a software product line: GFML, a formal language for feature modulesThi Kim Dung PhamCatherine DuboisNicole Levy