| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers ... Notes in Computer Science , Band 9527) | 978-3-319-27435-5 (3-319-27435-X) | 2015 | ||
| Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings | 978-3-540-57264-0 (3-540-57264-3) | 2008 | Antoine Rauzy · Patrick Cousot · Gilberto File | |
| Static Analysis: Third International Workshop, Wsa '93, Padova, Italy, September 1993: Proceedings | 978-0-387-57264-2 (0-387-57264-3) | 1993 | Italy) Workshop on Static Analysis 1993 (Padova · Gilberto File · Patrick Cousot | |
M. F. · Maren Fleck · Marian Falski · Mariana Falk · Marina Falco · Marina Flügge · Marion Fleige · Miriam Flock · Myriam Fleck