Explore
Featured
Recent
Articles
Topics
Login
Upload
Featured
Recent
Articles
Topics
Login
Upload
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. ...
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, ...
Specification and Verification of
by tawny-fly
Object-Oriented Software. K. Rustan M. Leino. R...
Load More...