Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings - Giannakopoulou, Dimitra; Salaün, Gwen (Springer International Publishing : Imprint: Springer, 2014)