计算机程序的正确性能证明吗? 期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

计算机程序的正确性能证明吗?

作者姓名：	仲萃豪

作者单位：	中国科学院计算技术研究所

摘要：	仲萃豪同志《计算机程序的正确性能证明吗?》一文综述了国外对这一问题的进展并介绍了中国科学技术大学研究生冯玉琳在这方面具有一定创见性的研究成果。
本文献已被 CNKI 等数据库收录！