形式化方法模型（Formal Methods Model） | 软件工程基础知识

官方章节 5.2.6 形式化方法模型（Formal Methods Model），共 9 个知识点。