Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /

Lignende værker

• Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /
  af: Bernhard K. Aichernig, Frank S. Boer, Marcello M. Bonsangue
  Udgivet: (2012, c2012)
• Formal Methods for Components and Objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey /
  af: Frank S. Boer, Marcello M. Bonsangue, Eric Madelaine
  Udgivet: (2009, c2009)
• Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
  af: Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue
  Udgivet: (2013, c2013)
• Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures /
  af: Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever
  Udgivet: (2007, c2007)
• 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)