| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Software Verification and Validation for Practitioners and Managers | 978-1-58053-473-4 (1-58053-473-2) | 2002 | Steve R. Rakitin |
| Software Verification and Validation for Practitioners and Managers, Second Edition | 978-1-58053-296-9 (1-58053-296-9) | 2001 | |