| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Program Verification: Fundamental Issues in Computer Science | Paperback | 978-94-010-4789-0 (94-010-4789-8) | 2012 | J.H. Fetzer · R.L. Rankin |
| Program Verification: Fundamental Issues in Computer Science | Hardcover | 978-0-7923-1965-8 (0-7923-1965-6) | 1993 | J.H. Fetzer · R.L. Rankin |
R. C. · R. Colburn · T. C. · T. R. · T.R.Colburn · T.T. · Timothy Colburn · Timothy R. · Timothy R. Colburn