| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings | Paperback | 978-3-662-20123-7 | 2014 | Agostino Cortesi | |
| Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings | Taschenbuch | 978-3-540-66459-8 | 2008 | " | |
| Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings | " | 978-3-540-74060-5 | 2010 | Hanne Riis Nielson · Gilberto Filé | |
| Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings | " | 978-3-540-57264-0 | 2008 | Antoine Rauzy · Patrick Cousot · Moreno Falaschi | |
| Static Analysis: Third International Workshop, Wsa '93, Padova, Italy, September 1993: Proceedings | Paperback | 978-0-387-57264-2 | 1993 | Italy) Workshop on Static Analysis 1993 (Padova · Moreno Falaschi · Patrick Cousot |