Social processes and proofs of theorems and programs
It is argued that formal verifications of programs, no matter how obtained, will not play the same key role in the development of computer science and software…
Social processes and proofs of theorems and programs
Computation’s development critical to our society
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