| title | media type | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Model-Based Software Testing and Analysis with C#: A Model-based Approach Using SpecExplorer | Paperback | 978-0-521-68761-4 | 2008 | |
| Model-Based Software Testing and Analysis with C#: A Model-based Approach Using SpecExplorer | Hardcover | 978-0-521-88655-0 | 2007 | Margus Veanes · Colin Campbell · Wolfram Schulte |
| The Way of Z: Practical Programming with Formal Methods | Paperback | 978-0-521-55976-8 | 1997 | |
| The Way of Z: Practical Programming with Formal Methods | Hardcover | 978-0-521-55041-3 | 1996 | |