Microsoft Research
Microsoft Translator |
SLIC: A Specification Language for Interface Checking (of C)

Thomas Ball and Sriram K. Rajamani
January 2002

tr-2001-21.pdf
PDF file
tr-2001-21.ps
PostScript file

Details

TypeTechReport
NumberMSR-TR-2001-21
Pages12
InstitutionMicrosoft Research
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > SLIC: A Specification Language for Interface Checking (of C)