---
title: 软件分析与验证前沿
description: "课程代码: SE3343"
---

## 2025-2026学年上学期

### 苏亭

- 很好的一门课, 只不过平时需要做的事比较多, 只想混学分不建议来
- [实验作业](labs/)