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