Ownerref published presentations and documents on DocSlides.
K. Rustan M. Leino. Principal Researcher. Microso...
K. Rustan M. Leino. Microsoft Research, Redmond, ...
K. Rustan M. Leino. Microsoft Research, Redmond. ...
Object-Oriented Software. K. Rustan M. Leino. R...
Copyright © 2025 DocSlides. All Rights Reserved