The 1980 ACM Turing Award Lecture

https://www.cs.fsu.edu/~engelen/courses/COP4610/hoare.pdf
posted @ 2022-09-29 09:31  papering  阅读(21)  评论(0)    收藏  举报