Gwen Salaün, Dimitra Giannakopoulou. Software Engineering and Formal Methods: Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM 2014). Sep 2014, Grenoble, France. 2014,
⟨10.1007/978-3-319-10431-7⟩.
⟨hal-01272610⟩