Automatic verification of programs with complex data structures
By: Norihisa Suzuki.
Series: Outstanding dissertations in the computer sciences
Publisher: Garland Pub.
Published: 1980
Place of publication: New York
Language: eng
Number of pages: 176
Subjects: Computer programs -- Verification.; Programming languages (Electronic computers) -- Semantics.; Data structures (Computer science)
Notes: Bibliography: p. 129-134.
Originally presented as the author's thesis, Stanford, 1976.