|
个人信息Personal Information
博士生导师
主要任职：教授
性别：男
毕业院校：巴黎第七大学
学历：研究生(博士)毕业
学位：博士
所在单位：南京航空航天大学计算机科学与技术学院
办公地点：428
联系方式：g a n g c h e n AT q q DOT com
电子邮箱：
扫描关注
基于Coq记录的矩阵形式化方法
点击次数：
发表刊物：计算机科学
论文类型：期刊论文
卷号：46
期号：7
是否译文：否
发表时间：2019-07-07
通讯作者：陈钢