| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings | 978-3-642-15768-4 (3-642-15768-8) | 2010 | Radhia Cousot |
M M · Mathieu Martial · Matteo Martelli · Matthieu Martel Radhia Cousot