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