Leino, K. Rustan M.

CaltechTHESIS

• PHD (1995) Toward reliable modular programs; 10.7907/ynt2-nn65

CaltechTHESIS

• Combined HTML, HTML Include, BibTeX, JSON, RSS
• Phd HTML, HTML Include, BibTeX, JSON, RSS