Number of items:
1
.
Leino, K. Rustan M.
(1995)
Toward reliable modular programs.
Dissertation (Ph.D.), California Institute of Technology.
doi:10.7907/ynt2-nn65.
https://resolver.caltech.edu/CaltechETD:etd-10162007-111256
This list was generated on
Wed Dec 17 12:16:04 2025 UTC
.
