| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, ... | 978-3-540-42541-0 (3-540-42541-1) | 2001 | Tiziana Margaria |
| Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings | 978-3-540-28372-0 (3-540-28372-2) | 2007 | Joe Hurd |