Upload
Featured Recent Articles Topics Login Upload

Search Results for 'Ownerref'

Ownerref published presentations and documents on DocSlides.

Spec#
Spec#
by stefany-barnette
K. Rustan M. Leino. Principal Researcher. Microso...
Specifying and verifying software
Specifying and verifying software
by tatiana-dople
K. Rustan M. Leino. Microsoft Research, Redmond, ...
Program verification via an intermediate language
Program verification via an intermediate language
by kittie-lecroy
K. Rustan M. Leino. Microsoft Research, Redmond. ...
Specification and Verification of
Specification and Verification of
by tawny-fly
Object-Oriented Software. K. Rustan M. Leino. R...