Search Results for 'stack0b'

stack0b published presentations and documents on DocSlides.

Using and Building an Automatic Program Verifier

by marina-yarberry

K. Rustan M. Leino. Research in Software Engineer...