Fahad Rafique Golra, Fabien Dagnat, Jeanine Souquières, Imen Sayar, Sylvain Guerin. Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation. Einar Broch Johnsen, Ina Schaefer. 16th International Conference on Softwa
HAL Archives-Ouvertes,
Fahad Rafique Golra, Fabien Dagnat, Jeanine Souquières, Imen Sayar, Sylvain Guerin.