| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Proof in Vdm: A Practitioner's Guide | Taschenbuch | 978-3-540-19813-0 (3-540-19813-X) | 2013 | ||
| Proof in Vdm: A Practitioner's Guide | Paperback | 978-0-387-19813-2 (0-387-19813-X) | 1995 | John S. Fitzgerald | |
| Proof in VDM: Case Studies | Taschenbuch | 978-3-540-76186-0 (3-540-76186-1) | 1998 | ||