摘要：基于形式语言的元模型：形式编排语言的研究。
作者：Franco Barbanera, Ivan Lanese, Emilio Tuosto
论文ID：2210.08223
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-02
PDF 下载： 英文版 中文版pdf翻译中