VeriML公司 引用于8份文件(2010–2016) 软件作者: 安东尼斯·斯坦普利斯(Antonis Stampoulis);邵,钟 相关软件: Coq;甲基丙烯酸甲酯;seL4… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)