(2011). Formal methods for components and objects: 9th international symposium, FMCO 2010, Graz, Austria, November 29-December 1, 2010 : revised papers / Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.).
Cita Chicago (17th ed.)Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29-December 1, 2010 : Revised Papers / Bernhard K. Aichernig, Frank S. De Boer, Marcello M. Bonsangue (eds.). 2011.
Cita MLA (9th ed.)Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29-December 1, 2010 : Revised Papers / Bernhard K. Aichernig, Frank S. De Boer, Marcello M. Bonsangue (eds.). 2011.
Atenció: Aquestes cites poden no estar 100% correctes.