引用人
D’Osualdo E公司 萨瑟兰J 法尔赞A 加德纳P (2021) TaDA Live:终止细粒度并发程序的组合推理 程序设计语言与系统学报 10.1145/3477082 43 :4 (1-134) 在线发布日期:2021年11月10日 豪斯曼F Lesani M公司 (2019) Hamsaz:复制协调分析与合成 美国计算机学会程序设计语言论文集 10.1145/3290387 三 :POPL (1-32) 在线发布日期:2019年1月2日 Charguéraud A公司 波蒂埃F (2019) 带时间信用的分离逻辑中联合查找实现的正确性和分摊复杂性验证 自动推理杂志 2007年10月10日/10817-017-9431-7 62 :3 (331-365) 在线发布日期:2019年6月1日 显示更多引用者