| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences ... Notes in Computer Science , Band 2030) | 978-3-540-41864-1 (3-540-41864-4) | 2008 | Marino Miculan |
| Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers | 978-3-540-68084-0 (3-540-68084-5) | 2008 | Marino Miculan · Ivan Scagnetto |