M G*** · M. H. · Michael G. Hinchey
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Industrial-Strength Formal Methods in Practice | 978-1-85233-640-0 (1-85233-640-4) | 1999 | Michael G. Hinchey · Jonathan P. Bowen |
| Understanding Formal Methods | 978-1-85233-247-1 (1-85233-247-6) | 2013 | |