| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings | 978-3-54O-3O492-O (3-54O-3O492-4) | 2008 | Judi M.T. Romijn · Jaco C. van de Pol |
G. P. · G S · G. Smith · Graeme P. Smith,Jaco C. Van De Pol Judi M. T. Romijn · Graeme Smith · P S · P. Smith