软工形式化入门 2

• 软件工程形式化入门（二）：从代码到控制流图与程序语义 Aug 20, 2026
• 软件工程形式化入门（一）：从集合、映射到程序状态 Aug 19, 2026