Kripe结构

发表于2023-11-24|更新于2023-12-07|形式化方法

|阅读量:

![image-20231124162949922](Kripe Structure/image-20231124162949922.png)

![image-20231124163004320](Kripe Structure/image-20231124163004320.png)

![image-20231124163020673](Kripe Structure/image-20231124163020673.png)

文章作者: Olstussy