基于Alloy的两个群定义的等价性验证
Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科,江建国,徐 月：辽宁师范大学数学学院，辽宁 大连；张新钢：大连市第二十四中学，辽宁 大连
版权 © 2017 邹 科, 江建国, 徐 月, 张新钢。本期刊文章已获得知识共享署名国际组织(Creative Commons Attribution International License)的认证许可。您可以复制、发行、展览、表演、放映、广播或通过信息网络传播本作品；您必须按照作者或者许可人指定的方式对作品进行署名。