Formal Methods 2

• 软件工程形式化入门（历史篇）：从“什么是计算”到“如何相信程序” Aug 21, 2026
• 软件工程形式化入门系列 Aug 14, 2026