| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Software Verification and Validation | 978-0-387-51254-9 (0-387-51254-3) | 2008 |
| Software Verification and Validation: An Engineering and Scientific Approach | 978-0-387-32725-9 (0-387-32725-8) | 2006 |
M. F. · M. Fisher · M S. · Marcus Fisher · S. Fisher