会员服务
VMCAI为来自验证、模型检验和抽象解释社区的研究人员提供了一个论坛，促进了交互作用、相互启发和结合这些领域和相关领域的混合方法的发展。VMCAI2019将是该系列的第20版。 官网链接：https://popl19.sigplan.org/track/VMCAI-2019
暂无数据
参考链接
父主题
Springer
软件工程
程序设计语言
微信扫码咨询专知VIP会员
Top