| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Formal Methods: Foundations and Applications. 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers | 978-3-642-1O453-4 (3-642-1O453-3) | 2009 |
M J · M. O. · V. Oliveira