Search Results for 'ownerframe'

ownerframe published presentations and documents on DocSlides.

Program verification via an intermediate language

by kittie-lecroy

K. Rustan M. Leino. Microsoft Research, Redmond. ...

Specification and Verification of

by tawny-fly

Object-Oriented Software. K. Rustan M. Leino. R...

Spec#

by stefany-barnette

K. Rustan M. Leino. Principal Researcher. Microso...

Specifying and verifying software

by tatiana-dople

K. Rustan M. Leino. Microsoft Research, Redmond, ...