Search Results for 'localinv'

localinv published presentations and documents on DocSlides.

Spec#

by stefany-barnette

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

Program verification via an intermediate language

by kittie-lecroy

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