The Spec# programming system: An overview (2005)

by M Barnett, K R M Leino, W Schulte
Venue:Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (CASSIS), Lecture Notes in Computer Science