Home → Magazine Archive → June 2011 (Vol. 54, No. 6) → Specification and Verification: The Spec# Experience → Abstract

Specification and Verification: The Spec# Experience

By Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter MÜller, Wolfram Schulte, Herman Venter

Communications of the ACM, Vol. 54 No. 6, Pages 81-91
10.1145/1953122.1953145

[article image]


Can a programming language really help programmers write better programs?

The full text of this article is premium content

0 Comments

No entries found