Timothy R. Colburn

Springer

titleISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Program Verification: Fundamental Issues in Computer Science978-0-7923-1965-8
(0-7923-1965-6)
James H. Fetzer

R.C. · T. C. · T.R. · Timothy T.R. Colburn

Timothy R. Covington