Books listed by ISBN
Timothy R. Colburn
Springer
title
ISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Program Verification: Fundamental Issues in Computer Science
978-0-7923-1965-8
(0-7923-1965-6)
James H. Fetzer
R.C.
·
T. C.
·
T.R.
·
Timothy T.R. Colburn
Timothy R. Covington