| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| The Correctness-by-Construction Approach to Programming | Taschenbuch | 978-3-642-44854-6 (3-642-44854-2) | 2014 | |
| The Correctness-by-Construction Approach to Programming | Gebunden | 978-3-642-27918-8 (3-642-27918-X) | 2012 | Bruce W. Watson |