VCGen公司 2份文件引用(2015–2023) 软件作者： 陈，陈；贾利民；徐浩；罗成；周文超；Loo，Boon Thau先生 相关软件： SANDLog；Coq；KeY… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SANDLog日志 1份文件引用(2015) 软件作者： 陈，陈；贾利民；徐浩；罗成；周文超；Loo，Boon Thau先生 相关软件： VCGen；Coq；RapidNet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）