| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings | 978-3-642-38O87-7 (3-642-38O87-5) | 2013 | Neha Rungta · Arnaud Venet |
G.B. · Gillian Barrett · Gillian Bird · Glen Barrett · Glen Bird · Glynn Barratt