| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings | 978-3-O3O-O3O43-8 (3-O3O-O3O43-1) | 2018 | Mohammad Reza Mousavi |
T. M · Taco Meeuwsen · Tag McKinney · Taiji Mizuno · Tess Mason · Tessa McOnie · Thijs Maasen · TJ MASON · Tohko Mizuno · TOKU MASAMI · Tooko Mizuno