milan米兰体育app下载 从正确性证明中提取测试用例的方法

引用

Maharaj S (1999) 一种从正确性证明中提取测试用例的方法。在：第十四届国际代数展开技术研讨会论文集。第 14 届国际代数展开技术研讨会 (WADT 1999)，法国博纳斯城堡，1999 年 9 月 15 日至 1999 年 9 月 18 日。瑞士：Springer，第 45-46 页。