Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
> Publications > Boogie: A Modular Reusable Verifier for Object-Oriented Programs