Search Results for 'Boogiepl'

Boogiepl published presentations and documents on DocSlides.

Specifying and verifying software

Specifying and verifying software

tatiana-dople
38 Slides

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

Program verification via an intermediate language

Program verification via an intermediate language

kittie-lecroy
29 Slides

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

Copyright © 2025 DocSlides. All Rights Reserved