Search Results for 'Ownerframe'

Ownerframe published presentations and documents on DocSlides.

Program verification via an intermediate language
Program verification via an intermediate language
by kittie-lecroy
K. Rustan M. Leino. Microsoft Research, Redmond. ...
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, ...
Specification and 	Verification of
Specification and Verification of
by tawny-fly
Object-Oriented Software. K. Rustan M. Leino. R...