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

Por International Symposium of Formal Methods Europe, Cavalcanti, Ana., Dams, Dennis.
Publicado em 2009

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

Por International Symposium of Formal Methods Europe, Giannakopoulou, Dimitra., Mery, Dominique.
Publicado em 2012

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

Por International Symposium of Formal Methods Europe, Cuellar, Jorge., Maibaum, T. S. E., Sere, K.
Publicado em c200

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

Por International symposium of formal methods Europe, Misra, Jayadev., Nipkow, Tobias., Sekerinski, E.
Publicado em 2006