Boogie Meets Regions: a Verification Experience Report

Mike Barnett and David A. Naumann

Details

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