Similar Items

• Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Martí-Oliet.
  Published: (2015)
• Modern formal methods and applications edited by Hossam A. Gabbar.
  Published: (2006)
• Software engineering and formal methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers editors Carlos Canal, Akram Idani.
  Published: (2015)
• Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 December 2, 2005 : proceedings Judi Romijn, Graeme Smith, Jaco van de Pol (eds.).
  Published: (2005)
• Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings / edited by Márcio Cornélio, Bill Roscoe.
  Published: (2016)