Search Results for 'Rustanmleino'

Rustanmleino published presentations and documents on DocSlides.

Boogie A Modular Reusable Verier for ObjectOriented Programs Mike Barnett BorYuh Evan Chang Robert DeLine Bart Jacobs andK

by celsa-spraggs

RustanMLeino Microsoft Research Redmond Washington...