| 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 · Marcello Bonsangue · Susanne Graf |
D. P. · (D-R) · D. R. Paul · D.W. · R. P. · R. Paul · R. Willem · W.P. · W., Paul