| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings | 978-3-540-37406-0 | 2008 | Robert B. Jones | |
| Instructor's resource guide | 978-0-13-668880-8 | 1989 | ||
| Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings | 978-3-540-40117-9 | 2003 | Sriram K. Rajamani | |
| My Fourscore Years: Autobiography | 978-0-9620635-2-7 | 1994 | ||
Andrew Thomas Ball · T. B. · Thomas B. · Thomas / Ball, Ben C., Jr. / Tabors, Richard D. Lee · Thomas E. Ball
Prentice Hall · Springer · Trecavalli Pr