| Titel | Art | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|---|
| Automated Theorem Proving in Software Engineering | Gebunden | 978-3-540-67989-9 (3-540-67989-8) | 2001 |
| Automated Theorem Proving in Software Engineering | Taschenbuch | 978-3-642-08759-2 (3-642-08759-0) |
J.M. · J. S. · J. Schumann · Johann M.Ph. Schumann · M S.