| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Methods for Industrial Critical Systems: 14th International Workshop, F.M.I.C.S. 2009, Eindhoven, The Netherlands, November 2-3, 2009, ... Notes in Computer Science, Band 5825) | 978-3-642-04569-1 (3-642-04569-3) | 2009 | |
| Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected ... Notes in Computer Science, Band 6564) | 978-3-642-20550-7 (3-642-20550-X) | 2011 | María Alpuente |
| Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings | 978-3-540-69163-1 (3-540-69163-4) | 2008 | |
M.A. · Mara Alpuente · Maria Albiniak · Mario Albin · Mario Alviano · Mary Albanese