登录
免费注册
首页
论文
论文详情
赞
收藏
引用
分享
科研之友
微信
新浪微博
Facebook
分享链接
Robin Milner 1934-2010 Verification, Languages, and Concurrency
作者:Gordon Andrew D; Harper Robert; Harrison John; Jeffrey Alan; Sewell Peter
来源:
ACM Sigplan Notices
, 2011, 46(1): 473-473.
DOI:10.1145/1925844.1926439
出版日期
2011-1
全文
全文
访问全文
相似论文
引用论文
参考文献