Search Results for 'boogiepl'

boogiepl published presentations and documents on DocSlides.

Specifying and verifying software

by tatiana-dople

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

Program verification via an intermediate language

by kittie-lecroy

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