Project to help computer science students understand partial correctness proof by studying the pioneering paper of Robert W. Floyd.
- Membership
- Publications
- Meetings
- Competitions
- Community
- Programs
- Students
- High School Teachers
- Faculty and Departments
- Underrepresented Groups
- MAA Awards
- MAA Grants
- News
- About MAA
