分类 - 形式化方法
2023
Kripe结构