Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Region-Based Model Abstraction

Jeremy Condit, James R. Larus, Sriram K. Rajamani, and Jakob Rehof

Details

Publication typeTechReport
NumberMSR-TR-2003-47
Pages20
InstitutionMicrosoft Research
> Publications > Region-Based Model Abstraction