| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings: 19th International ... Computer Science and General Issues) | 978-3-540-85360-2 | 2008 | Franck van Breugel |
| Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and ... Notes in Computer Science, Band 5503) | 978-3-642-00592-3 | 2009 | Martin Wirsing |
| Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected ... Notes in Computer Science, Band 9971) | 978-3-319-48868-4 | 2016 | Sandrine Blazy |
| Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers | 978-3-319-48870-7 | 2016 | " |