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

Ähnliche Einträge

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