Development of Correct-by-Construction Software using Product Lines / Thi-Kim-Dung
Pham, 2017. Thèse de doctorat : Sciences de l'information et de la communication.
Informatique : Paris, CNAM : 2017
Information trouvée : Maître de Conférences, Telecom SudParis
www-public.tem-tsp.eu/~gibson/CV/CV-Nov08.pdf, 2018-01-18