文章摘要
郭莎莎,侯春燕,王劲松.基于最弱前置条件的程序正确性分析[J].高技术通讯(中文),2019,29(6):556~563
基于最弱前置条件的程序正确性分析
  
DOI：
中文关键词: 
英文关键词: 
基金项目:
作者单位
郭莎莎  
侯春燕  
王劲松  
摘要点击次数: 2678
全文下载次数: 1646
中文摘要:
      
英文摘要:
      
查看全文   查看/发表评论  下载PDF阅读器
关闭

您是本站第  13150857  位访问者！
版权所有：《高技术通讯》编辑部    京ICP备10027328号
主办：中国科学技术信息研究所 地址：北京西城区三里河路54号272室或北京西城区三里河路54号2143信箱 邮政编码：100045
电话：010-68598272，010-68514060 电子邮箱：hitech@istic.ac.cn
技术支持：北京勤云科技发展有限公司
分享按钮