SLIC: A Specification Language for Interface Checking (of C)
Thomas Ball and Sriram K. Rajamani
January 2002
 PDF file |  PostScript file |
Details
| Type: | TechReport |
| Number: | MSR-TR-2001-21 |
| Pages: | 12 |
| Institution: | Microsoft Research |
©2009 Microsoft Corporation. All rights reserved.