Jeanine Souquières

Documents

Présentation

"sylvain-guerin"

	Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation Fahad Rafique Golra , Fabien Dagnat , Jeanine Souquières , Imen Sayar , Sylvain Guerin 16th International Conference on Software Engineering and Formal Methods (SEFM 2018), Jun 2018, Toulouse, France. pp.54-69, ⟨10.1007/978-3-319-92970-5_4⟩ Communication dans un congrès hal-01853610v1