| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Tapsoft '95: Theory and Practice of Software Development: 6th International Joint Conference Caap/Fase Aarhus, Denmark, May 22-26, 1995: Proceedin | 978-O-387-59293-O (O-387-59293-8) | 1995 | Mogens Nielsen · Colloquium on Formal Approaches of Software Engineering · Peter D. Mosses · Denmark) Colloquium on Trees in Algebra and Programming (1995 : Aarhus · Michael I. Schwartzbach |
Portugal) European Safety and Reliability Conference (1997 : Lisbon