引用人
格拉德施泰因五世 赵Q 阿伦斯W 阿马拉辛格S 谢尔盖一世 (2024) 结构化数据的机械化超安全证明 美国计算机学会程序设计语言会议录 10.1145/3656403 8 :磅/平方英寸 (647-670) 在线发布日期:2024年6月20日 阿尔梅达博尔赫斯A Gonzaílez Bedmar M公司 科内杰罗·罗德里格斯J 赫莫·雷耶斯E 卡萨尔斯·布纳尔J Joosten J公司 蒂曼尼A 托盘D Pientka B型 Blazy S系列 (2024) UTC时间,正式验证 第13届ACM SIGPLAN认证程序和证明国际会议记录 10.1145/3636501.3636958 (2-13) 在线发布日期:2024年1月9日 赵Q Pîrlea G公司 Ang Z(角度Z) 马图尔·U 谢尔盖一世 蒂曼尼A 托盘D Pientka B型 Blazy S系列 (2024) 效率之根:分离逻辑中基于数组树的机械化推理 第13届ACM SIGPLAN认证程序和证明国际会议记录 10.1145/3636501.3636944 (45-59) 在线发布日期:2024年1月9日