The Spec# programming system: An overview

Mike Barnett, K. Rustan M. Leino, Wolfram Schulte
[doi] [Google Scholar] [DBLP] [Citeseer]

International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Springer
Pages 49-69
2004
Topic(s): tools verification
Note(s): spec-sharp-project