Integrated formal methods: 9th international conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings - John Derrick, editor ([, Springer-Verlag], 2012)