| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and ... Notes in Computer Science, Band 10471) | 978-3-319-67112-3 (3-319-67112-X) | 2017 | Laure Petrucci · Ana Cavalcanti |
C.S. · Christian Schößling · Christian Schwießelmann · Crister Skoglund · Cristina Siciliano