软件工程形式化方法初学体会 最近在上一门叫做新技术讲座的课，我估计好多同学是看到讲座这两个字感觉这课会很水才选的，但实际上这门课讲的内容是非常硬核的软件工程形式化方法，而且授课老师也是国内第 2022-02-19 · aopstudio · 软件工程 形式化 学习 · 0 评论 · 0 浏览
我的开源