Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
SLIC: A Specification Language for Interface Checking (of C)

Thomas Ball and Sriram K. Rajamani

Details

Publication typeTechReport
NumberMSR-TR-2001-21
Pages12
InstitutionMicrosoft Research
> Publications > SLIC: A Specification Language for Interface Checking (of C)