Proving programs correct
By: Robert B. Anderson.
Publisher: Wiley
Published: 1979
Place of publication: New York
Language: eng
Number of pages: 184
Subjects: Computer programs -- Testing.; Debugging in computer science.
Notes: Bibliography: p. 170-182.
Includes index.