| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers | Taschenbuch | 978-3-319-89214-6 (3-319-89214-2) | 2019 | |
| Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers | Gebunden | 978-3-319-72813-1 (3-319-72813-X) | 2018 | Robert Wille · Judith Przigoda · Rolf Drechsler |