软件模型代数性质的程序化验证

软件模型代数性质的程序化验证

赵会群,黄榆涵

Program Verification of Software Model’s Algebraic Properties

ZHAO Hui-qun and HUANG Yu-han

计算机科学 . 2017, (11): 240 -245 . DOI: 10.11896/j.issn.1002-137X.2017.11.036