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

[article image]

Can a programming language really help programmers write better programs?

The full text of this article is premium content


No entries found