Open-World Logic Programs:A New Foundation for Formal Specifications

【文件属性】：

文件名称：Open-World Logic Programs:A New Foundation for Formal Specifications

文件大小：488KB

文件格式：PDF

更新时间：2021-11-20 13:54:10

metamodel Structural S Horn Logic

描述了一种逻辑编程语言，这种语言用于构建形式化规格的基础