登录
免费注册
首页
论文
论文详情
赞
收藏
引用
分享
科研之友
微信
新浪微博
Facebook
分享链接
Automated verification of programs and Web systems
作者：ter Beek Maurice H
*
; Lisitsa Alexei; Nemytykh Andrei P; Ravara Antonio
来源：
Journal of Logical and Algebraic Methods in Programming
, 2016, 85(5): 653-654.
DOI：10.1016/j.jlamp.2016.06.005
出版日期
2016-8
全文
全文
访问全文
相似论文
引用论文
参考文献
科研之友
微信
新浪微博
Facebook
分享链接
