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.
Full text not available from this repository.
Official URL: http://dx.doi.org/10.4204/EPTCS.182.4
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Information Technology (IT) |
| Divisions: | Faculty of Information Technology (FIT) |
| Depositing User: | Dr Minh Trien Pham |
| Date Deposited: | 03 Jun 2016 09:41 |
| Last Modified: | 03 Jun 2016 09:41 |
| URI: | http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1648 |
Actions (login required)
 |
View Item |
