FM 2011 formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011 : proceedings /

מאת International Symposium on Formal Methods, Butler, Michael., Schulte, Wolfram.
יצא לאור 2011

FM 2009 formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /

מאת International Symposium of Formal Methods Europe, Cavalcanti, Ana., Dams, Dennis.
יצא לאור 2009

FM 2012 formal methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings /

מאת International Symposium of Formal Methods Europe, Giannakopoulou, Dimitra., Mery, Dominique.
יצא לאור 2012.

FM 2008 formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings /

מאת International Symposium of Formal Methods Europe, Cuellar, Jorge., Maibaum, T. S. E., Sere, K.
יצא לאור c200

FM 2006: formal methods 14th international symposium on formal methods, Hamilton, Canada, August 21-27, 2006, proceedings /

מאת International symposium of formal methods Europe, Misra, Jayadev., Nipkow, Tobias., Sekerinski, E.
יצא לאור 2006.