FM 2012 formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings / - Giannakopoulou, Dimitra.; Méry, Dominique. (Springer,)