维普期刊资源整合服务平台（V6.5）

维普中文期刊产品整合服务

9篇 您的检索式：作者名="Hatcliff"

选中清除导出查看参考文献查看引证文献引用追踪共1页首页上一页第1页下一页末页 /1 跳转

		题名	作者	年代	出处	被引量
	1	Bogor:an extensible and highly-modularsoftware model checking framework显示文摘	DWYER M B HATCLIFF J	2003	ACM SIGSOFT SoftwareEngineering Notes2003，28，5：	1
	2	Slicing Software for Model Construction显示文摘	John Hatcliff Matthew B. Dwyer Hongjun Zheng	2000	Higher - Order and Symbolic Computation2000，，4：	1
	3	Slicing software for model construction显示文摘	Hatcliff J Dwyer M B Zheng H	2000	Journal of Higher-Order and Symbolic Computation2000，13，4：	1
	4	Slicing software for model construction显示文摘	HATCLIFF J DWYER M B ZHENG H	2000	Higher-order and Symbolic Computation2000，13，4：	1
	5	Slicing concurrent Java programs using Indus and Kaveri显示文摘	Ranganath V P Hatcliff J	2007	International Journal on Software Tools for Technology Transfer2007，9，56：	1
	6	Slicing concurrent Java pro- grams using Indus and Kaveri显示文摘	Ranganath V P Hatcliff J	2007	International Journal on Software Tools for Technology Transfer2007，9，5：	1
	7	Slicing software for model construction显示文摘	Hatcliff J Dwyer M B Zheng Hongjun	2000	Higher-Order and Symbolic Computation2000，13，4：	1
	8	Formal Software Analysis Emerging Trends in Software Model Checking 显示文摘	Matthew B Dwyer John Hatcliff Robby Corina S Pasarea- nn and Willem Visser	2007	In Proceeding of Future of Software Engineering2007，，：	1
	9	Slicing software for model construction 显示文摘	Hatcliff J Dwyer M B Zheng H	2000	LISP and Symbolic Computation2000，13，4：	1

返回顶部每页显示：

共1页首页上一页第1页下一页末页 /1 跳转

goolge学术搜索-维普

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费