| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings | 978-3-319-29472-8 (3-319-29472-5) | 2016 | Bill Roscoe |
M.C. · Marc Cornillon · Marco CARAMELLI · Marco Carinola · Marco Carniel · Marco Ciaramella · Mark Cornwall · Marsha Cornelius · Maurizio Cornalba