Specification and Verification: The Spec# Experience

Mike Barnett, Manuel Fahndrich, K. Rustan M. Leino, Peter Mueller, Wolfram Schulte, and Herman Venter

Details

Publication typeArticle
Published inCommunications of the ACM
Pages81--91
Volume54
Number6
PublisherAssociation for Computing Machinery, Inc.
> Publications > Specification and Verification: The Spec# Experience