PROGRAM verification: fundamental issues in computer science / edited by Timothy R.Colburn, James H.Fetzer, Terry L.Rankin - Dordrecht Kluwer Academic Pub. 1993 - xiii, 457 p. Includes references, bibliography and index. ISBN: 792319656 Subjects--Topical Terms: Computer programming Dewey Class. No.: 5.1 / PRO