| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art ... Computer Science / Programming and Software) | 978-3-642-04166-2 | 2009 | Frank S. de Boer · Eric Madelaine |
| Formal Methods for Components and Objects 2004: Third International Symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004, Revised Lectures | 978-3-540-29131-2 | 2005 | Frank S. de Boer · Susanne Graf · Willem-Paul de Roever |
| Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 5-8, 2002, Revised Lectures | 978-3-540-20303-2 | 2004 | Frank S.de Boer · Susanne Graf |
| Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures | 978-3-540-22942-1 | 2004 | Frank S. de Boer · Susanne Graf · Willem-Paul de Roever |