Teaching Formal Methods : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings /

Lignende værker

• FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings /
  af: Ana Cavalcanti, Dennis R. Dams
  Udgivet: (2009, c2009)
• Teaching Formal Methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings /
  af: C. Neville Dean, Raymond T. Boute
  Udgivet: (2004, c2004)
• Integrated Formal Methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings /
  af: Jim Davies, Jeremy Gibbons
  Udgivet: (2007, c2007)
• Formal Methods for Industrial Critical Systems : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings /
  af: María Alpuente, Byron Cook, Christophe Joubert
  Udgivet: (2009, c2009)
• Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /
  af: Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel
  Udgivet: (2010, c2010)