Formal Methods 4

• 软件工程形式化入门（历史篇）：从“什么是计算”到“如何相信程序” Aug 21, 2026
• Formalization in Software Engineering (7): A Short History of Formal Methods Aug 21, 2026
• 软件工程形式化入门系列 Aug 14, 2026
• A Beginner's Guide to Formalization in Software Engineering Aug 14, 2026