AI will make formal verification go mainstream

Martin Kleppmann，Martin Kleppmann 是《数据密集型应用系统设计》（DDIA）作者、剑桥大学副教授，博客深入探讨分布式系统、流处理与数据工程。关注
添加评论
点赞收藏
点踩分享查看原文
评论
?
参与讨论