Program Verification > Editions
by Timothy R. Colburn First published January 1st 1993
Published October 2nd 2012
by Springer
1993, Reprint, Paperback, 471 pages
Published 1993
by Kluwer Academic s
Hardcover, 0 pages
Published January 31st 1993
by Springer
1993, 1993 ed., Hardcover, 471 pages



