摘要：Caos：一种计算机辅助设计方法和编程框架，用于形式模型的结构操作语义。
作者：Jos''e Proenc{c}a and Luc Edixhoven
论文ID：2304.14901
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-05-01
PDF 下载： 英文版 中文版pdf翻译中