| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers | 978-3-540-59155-9 | 2008 | |
| Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings | 978-3-319-99724-7 | 2018 | |
| Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European ... Notes in Computer Science , Band 2988) | 978-3-540-21299-7 | 2008 | Kurt Jensen |
| Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings | 978-3-642-27704-7 | 2012 | Rajeev Joshi · Peter Müller |
A. P. · Andreas Potulski · Andreas Pytlik · Andrzej Patulski · Andrzej Pytlak · Andrzej Pyttlik