| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings | 978-3-540-37406-0 (3-540-37406-X) | 2006 | Thomas Ball |
B. Jones · R.B. · R.B. Jones · R.J. · R. Jones · Robert B. · Robert J. · Robert Jones