VMCAI为来自验证、模型检验和抽象解释社区的研究人员提供了一个论坛,促进了交互作用、相互启发和结合这些领域和相关领域的混合方法的发展。VMCAI2019将是该系列的第20版。 官网链接:https://popl19.sigplan.org/track/VMCAI-2019

精品内容

没有数据了, 换个别的吧!
微信扫码咨询专知VIP会员