ACM A. M. Turing Award

1978

让证明与程序同行

语言与软件1978

插画肖像：罗伯特·弗洛伊德

让证明与程序同行

断言把程序应当做什么，变成可以推理的条件。

罗伯特·弗洛伊德

浏览所有年份 ↗