| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Leveraging Applications of Formal Methods, Verification, and Validation | 978-3-642-16559-7 (3-642-16559-1) | 2011 |
| Leveraging Applications of Formal Methods, Verification, and Validation | 978-3-642-16562-7 (3-642-16562-1) | 2011 |
B. M. · B.S. · B. Steffen · B. T. · Bernhard Steffen · S M · S. T. · T. M · Tiziana Margaria