| 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 | Graeme P. Smith · Jaco C. van de Pol |