H.W. · Heike Wehren · Heike Worm · Hugh Warren
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, ... Notes in Computer Science, Band 9360) | 978-3-319-23505-9 (3-319-23505-2) | 2015 | Roland Meyer · André Platzer |
| Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, ... Notes in Computer Science , Band 4037) | 978-3-540-34893-1 (3-540-34893-X) | 2008 | Roberto Gorrieri |
| Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings | 978-3-642-00254-0 (3-642-00254-4) | 2009 | Michael Leuschel |