Boogie Meets Regions: a Verification Experience Report

Details

TypeTechReport
NumberMSR-TR-2008-78
Pages0
InstitutionMicrosoft Research
> Publications > Boogie Meets Regions: a Verification Experience Report