Software engineering and formal methods : 12th international conference, SEFM 2014 Grenoble, France, September 1 - 5, 2014 ; proceedings / Dimitra Giannakopoulou ... (eds.). Cham [u.a.] : Springer, 2014