| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, ... Notes in Computer Science, Band 10998) | 978-3-319-99932-6 | 2018 | Xinyu Feng · Zijiang Yang |
| Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction | 978-3-540-63406-5 | 1997 | |
| Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings | 978-3-319-10935-0 | 2014 | Helmut Seidl |
| Variations on Constants: Flow Analysis of Sequential and Parallel Programs | 978-3-540-45385-7 | 2006 | |
| Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. ... Computer Science and General Issues) | 978-3-540-93899-6 | 2008 | Neil D. Jones |
M M · M. Müller · M. O. · Markus Müller · Markus Muller-Olm