Leino, K. Rustan M.
URI(s)
Additional Information
Identified By
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: A logic of object-oriented programs, c1998:t.p. (K. Rustan M. Leino)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 2000-02-23: new
- 2022-12-29: revised
Alternate Formats