The Case Against Formal Verification, 50 Years Later

Ivan Gavran，Writings on software correctness, AI, formal verification, and other technical topics.关注
The Case Against Formal Verification, 50 Years Later 图片 1
添加评论
点赞收藏
点踩分享查看原文
评论
?
参与讨论