登录
免费注册
首页
论文
论文详情
赞
收藏
引用
分享
科研之友
微信
新浪微博
Facebook
分享链接
Discussion on the ideal of program - Correctness By Tony Hoare
作者:Josephs Mark B
*
; Jones Cliff; Jackson Michael; Turner Aaron; Holcombe Mike; Sharman Geoff; Luo Zhaohui; Lloyd Martin; Haworth Guy; Tully Colin; Crocker David
来源:
Computer Journal
, 2007, 50(3): 261-268.
DOI:10.1093/comjn1/bx1079
出版日期
2007-5
全文
全文
访问全文
相似论文
引用论文
参考文献