用户自定义ADT类型相关硕士博士期刊学术论文

有效解决“软件危机”的一种重要途径是使用形式化方法来开发软件产品。薛锦云教授在国家863和多项国家自然科学基金的资助下，根据......