Formal methods for components and objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures /

af FMCO 2008, Boer, Frank S. de., Bonsangue, Marcello M., Madelaine, Eric.
Udgivet 2009.

Formal methods for components and objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29-December 1, 2010 /

af FMCO (Simpósio), Aichernig, Bernhard K., Boer, Frank S. de., Bonsangue, Marcello M.
Udgivet 2012

Formal methods for open object-based distributed systems 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings /

af International Conference on Formal Methods for Open Object-Based Distributed Systems, Bonsangue, Marcello M., Johnsen, Einar Broch.
Udgivet c200