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

Bằng International Conference on Integrated Formal Methods, Derrick, John.
Được phát hành 2012.

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

Bằng International Conference on Integrated Formal Methods, Leuschel, Michael., Wehrheim, Heike.
Được phát hành 2009.

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

Bằng International Conference on Integrated Formal Methods, Davies, Jim., Gibbons, Jeremy.
Được phát hành 2007.

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

Bằng International Conference on Integrated Formal Methods, Romijn, Judi M.T., Smith, Graeme P., van de Pol, Jaco C.
Được phát hành 2005.