A program verifier that generates inductive assertions
By: by Steven Mark German
Published: 1974
Language: eng
Number of pages: 69
Notes: Thesis (A.B., Honors in Applied Mathematics)--Harvard University, 1974.

Division of Engineering and Applied Sciences.

Includes bibliographical references.