Program verification
Subtitle: fundamental issues in computer science
By: edited by Timothy R. Colburn, James H. Fetzer, and Terry L. Rankin.
Contributors: Colburn, Timothy R., 1952-; Fetzer, James H., 1940-; Rankin, Terry L.
Series: Studies in cognitive systems ;; v. 14
Publisher: Kluwer Academic Publishers; Springer
Published: 1993
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 457
Subjects: Computer software -- Verification
Notes: Includes bibliographical references (p. 429-443) and indexes.