加载中…
2019-04-08
论文概览
文献全文
中
/
EN
Fifty years of Hoare's Logic
下载PDF
Krzysztof R. Apt
Ernst-Ruediger Olderog
所有作者
Krzysztof R. Apt
Ernst-Ruediger Olderog
文献摘要
We present a history of Hoare’s logic.
文献全文
代码仓库
--
--
有疑问？点我一起读。
讨论
0
分享你的见解...
|
讲解博客
生成讲解博客的中文版本
生成中文版
|
AI智能校验
生成AI智能校验的中文版本
生成中文版
