当前位置:
X-MOL 学术
›
Form. Asp. Comput.
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Fifty years of Hoare’s logic
Formal Aspects of Computing ( IF 1.4 ) Pub Date : 2019-11-27 , DOI: 10.1007/s00165-019-00501-3 Krzysztof R. Apt 1, 2 , Ernst-Rüdiger Olderog 3
Formal Aspects of Computing ( IF 1.4 ) Pub Date : 2019-11-27 , DOI: 10.1007/s00165-019-00501-3 Krzysztof R. Apt 1, 2 , Ernst-Rüdiger Olderog 3
Affiliation
We present a history of Hoare’s logic.
中文翻译:
五十年的霍尔逻辑
我们介绍了霍尔逻辑的历史。
更新日期:2019-11-27
中文翻译:
五十年的霍尔逻辑
我们介绍了霍尔逻辑的历史。