图灵奖得主Edmund Clarke感染新冠逝世,教计算机自己检查错误的人走了( 二 )

】https://www.cmu.edu/news/stories/archives/2020/december/obituary-ed-clarke.html