| 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) | 2005 | Graeme P. Smith · Jaco C. van de Pol |
J.M. · J R · Judi M.T. Romijn · m r