Microsoft Research
Microsoft Translator |
Boogie Meets Regions: a Verification Experience Report

Mike Barnett and David A. Naumann
May 2008

Details

TypeTechReport
NumberMSR-TR-2008-78
Pages0
InstitutionMicrosoft Research
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Boogie Meets Regions: a Verification Experience Report