| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures | 978-3-54O-2O3O3-2 (3-54O-2O3O3-6) | 2003 | Frank S. de Boer · Willem-Paul de Roever · Susanne Graf |