Share this page
Share this page E-mail this page Print this page RSS feeds
Home > Publications > Boogie Meets Regions: a Verification Experience Report
Boogie Meets Regions: a Verification Experience Report

Details

Type: TechReport
Number: MSR-TR-2008-78
Pages: 0
Institution: Microsoft Research