Integrated formal methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /

le International Conference on Integrated Formal Methods, Derrick, John.
Foilsithe 2012.

Integrated formal methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009 : proceedings /

le International Conference on Integrated Formal Methods, Leuschel, Michael., Wehrheim, Heike.
Foilsithe 2009.

Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /

le International Conference on Integrated Formal Methods, Davies, Jim., Gibbons, Jeremy.
Foilsithe 2007.

Integrated formal methods 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005 : proceedings /

le International Conference on Integrated Formal Methods, Romijn, Judi M.T., Smith, Graeme P., van de Pol, Jaco C.
Foilsithe 2005.