The Spec# Programming System: An Overview (2004)

by M Barnett, K R M Leino, W Schulte
Venue:In Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS’04, volume 3362 of LNCS