Specification and Verification: The Spec# Experience
Can a programming language really help programmers write better programs?
Specification and Verification: The Spec# Experience
Technical Perspective: Learning To Do Program Verification
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved