Mtac公司 16篇文献引用(2013–2021) 软件作者: Ziliani,贝塔;德里克·德雷尔(Derek Dreyer);Krishnaswami,Neelakantan R。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯 相关软件: Coq;阿格达;Idris… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
采购订单模板 6篇文献引用(2018–2022) 软件作者: 阿南德,阿比舍克;鲍利耶,西蒙;科恩、西里尔;索索、马蒂厄;尼古拉斯·塔巴鲁 相关软件: Coq;CertiCoq;OEuf… 主要字段: 计算机科学(68-XX)