A program verifier.
Published: 1969
Language: eng
Number of pages: 255
Subjects: Compiling (Electronic computers)
Notes: Bibliography: p. 167-169.
Thesis--Carnegie-Mellon University.
Photocopy of typescript. Detroit, Management Information Services [1969?] 28 cm.