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...