软件分析与验证前沿

2025-2026学年上学期

苏亭

• 很好的一门课, 只不过平时需要做的事比较多, 只想混学分不建议来
• 实验作业