Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings - Giannakopoulou, Dimitra. (Springer International Publishing,)