| 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-540-30492-0 (3-540-30492-4) | 2005 | Judi M. T. Romijn · Jaco C. van de Pol |
G.P. · G S · G. Smith · Graeme Smith · P. Smith