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

av International Conference on Integrated Formal Methods, Derrick, John.
Publicerad 2012.

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

av International Conference on Integrated Formal Methods, Leuschel, Michael., Wehrheim, Heike.
Publicerad 2009.

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

av International Conference on Integrated Formal Methods, Davies, Jim., Gibbons, Jeremy.
Publicerad 2007.

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

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