工程学科能教给我们什么（以及我们能教给工程什么）

Hillel Wayne，Hillel Wayne 的技术博客，关于形式化方法、TLA+ 与软件正确性。关注
添加评论
点赞收藏
点踩分享查看原文
评论
?
参与讨论