VCGen公司 2份文件引用(2015–2023) 软件作者: 陈,陈;贾利民;徐浩;罗成;周文超;卢文涛 相关软件: SANDLog;Coq;KeY… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
SANDLog日志 1份文件引用(2015) 软件作者: 陈,陈;贾利民;徐浩;罗成;周文超;Loo,Boon Thau先生 相关软件: VCGen;Coq;RapidNet… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MATF公司 1份文件引用(2020) 软件作者: M.S.Khan。;M.I.Khan。;苏联马利克。;Khalid,O。;阿齐姆,M。;北卡罗来纳州贾维德。 相关软件: SenetSHM公司 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)