引用人
品牌D 公交车M 斯里达尔五世 (2007) 基于证据的分析和推断缺陷检测的前提条件 2007 IEEE软件维护国际会议 10.1109/ICSM.2007.4362617 (44-53) 在线发布日期:2007年10月 爱尔兰A 埃利斯B 厨师A 查普曼R 巴恩斯J (2006) 一种集成的高完整性软件验证方法 自动推理杂志 2007年10月10日/10817-006-9034-1 36 :4 (379-410) 在线发布日期:2006年4月1日 Leavens G公司 翼J (2005) 保护接口规范 TAPSOFT’97:软件开发理论与实践 2007年10月10日/BFB030623 (520-534) 在线发布日期:2005年6月20日 显示更多引用者