Share this page
Live Favorites
Digg
del.icio.us
ma.gnolia
Newsvine
Facebook
Projects
Publications
People
Downloads
Home
Our Research
Collaboration
Careers
Worldwide Labs
Research Areas
Research Groups
Project Tuva Enhanced Video Player
Watch the Feynman Lectures
>
Publications
>
Boogie Meets Regions: a Verification Experience Report
Boogie Meets Regions: a Verification Experience Report
Mike Barnett and David A. Naumann
May 2008
Details
Type:
TechReport
Number:
MSR-TR-2008-78
Pages:
0
Institution:
Microsoft Research
Related People
Mike Barnett
Related Labs
Microsoft Research Redmond
