Bonsangue, Marcello · M B · Marcello M. Bonsangue · Marcello M. Bonsangue,Stefan Hallerstede Frank S. De Boer
| 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-540-20303-2 (3-540-20303-6) | 2008 | Susanne Graf · Frank S.de Boer · Willem-Paul de Roever |
| It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab | 978-3-319-90088-9 (3-319-90088-9) | 2018 | Frank de Boer · Jan Rutten |
| Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday | 978-3-319-30733-6 (3-319-30733-9) | 2016 | Erika Ábrahám · Einar Broch Johnsen |