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

由 International Conference on Integrated Formal Methods, Derrick, John.
出版 2012

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

由 International Conference on Integrated Formal Methods, Davies, Jim., Gibbons, Jeremy.
出版 2007

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

由 International Conference on Integrated Formal Methods, Leuschel, Michael., Wehrheim, Heike.
出版 2009.

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

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