Matthieu Martel Radhia Cousot · R. C. · Rita Casadio
| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Static Analysis: 10th International Symposium, Sas 2003, San Diego, Ca, Usa, June 2003 Proceedings : 10th ... Diego, Ca, USA, June 11-13, 2003. Proceedings | 978-3-540-40325-8 | 2003 | |
| Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings | 978-3-642-15768-4 | 2010 | Matthieu Martel |
| Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings | 978-3-540-61739-6 | 2008 | David A. Schmidt |
| Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings ... Notes in Computer Science , Band 3385) | 978-3-540-24297-0 | 2008 | |