Automatic verification of programs with complex data structures
Author(s)
Bibliographic Information
Automatic verification of programs with complex data structures
(Outstanding dissertations in the computer sciences)
Garland Pub., 1980
Available at / 12 libraries
-
No Libraries matched.
- Remove all filters.
Note
Originally presented as the author's thesis, Stanford, 1976
Bibliography: p. 129-134