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