Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Lignende værker

• Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures /
  af: Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever
  Udgivet: (2003, c2003)
• Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures /
  af: Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever
  Udgivet: (2004, c2004)
• Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures /
  af: Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever
  Udgivet: (2005, c2005)
• Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
  af: Bernhard Beckert, Ferruccio Damiani, Frank S. Boer, Marcello M. Bonsangue
  Udgivet: (2013, c2013)
• 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)