Program Verification: Fundamental Issues in Computer Science: 14 (Studies in Cognitive Systems, 14)
by Timothy T.R. Colburn, J.H. Fetzer, R.L. Rankin
ISBN 13: 9780792319658
Format: Illustrated (471 pages) Publisher: Springer Published: 31 Jan 1993
Save for later