50年后重审"反对形式化验证"
Ivan Gavran
，写关于软件正确性、AI、形式化验证及其他技术话题。
关注
添加评论
点赞
收藏
点踩
分享
查看原文
评论
?
参与讨论
点赞
收藏
点踩
分享