Formal Methods for Components and Objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey /

Documenti analoghi

• Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /
  di: Bernhard K. Aichernig, Frank S. Boer, Marcello M. Bonsangue
  Pubblicazione: (2012, c2012)
• Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
  di: Bernhard Beckert, Ferruccio Damiani, Frank S. Boer, Marcello M. Bonsangue
  Pubblicazione: (2013, c2013)
• Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
  di: Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever
  Pubblicazione: (2008, c2008)
• Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
  di: Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue
  Pubblicazione: (2013, c2013)
• Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures /
  di: Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever
  Pubblicazione: (2003, c2003)