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

Antzeko izenburuak

• Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures /
  nork: Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever
  Argitaratua: (2003, c2003)
• Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures /
  nork: Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever
  Argitaratua: (2004, c2004)
• Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures /
  nork: Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever
  Argitaratua: (2005, c2005)
• Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
  nork: Bernhard Beckert, Ferruccio Damiani, Frank S. Boer, Marcello M. Bonsangue
  Argitaratua: (2013, c2013)
• Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /
  nork: Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel
  Argitaratua: (2010, c2010)