The Spec# programming system: An overview (2004)

by Mike Barnett, K Rustan M Leino, Wolfram Schulte
Venue:In CASSIS 2004: International Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices