吴志林,袁志明简介

分享江苏省高等学校知识产权研究会2017年年会暨知识产
吴志林程序验证/数据库理论/计算逻辑/形式语言与自动机理论 硕士生
会议由吴志林同志主持
软件自动验证的追梦者吴志林2020年ccfieeecs青年科学家奖获得者
大赛总评委吴志林教授介绍大赛流程及评审规则