Region-Based Model Abstraction
Jeremy Condit, James R. Larus, Sriram K. Rajamani, and Jakob Rehof
August 2003
 PostScript file |
Details
| Type: | TechReport |
| Number: | MSR-TR-2003-47 |
| Pages: | 20 |
| Institution: | Microsoft Research |
Related People
Related Labs
©2009 Microsoft Corporation. All rights reserved.