登录    注册    忘记密码
高级检索
概览 下级机构 专家学者 科研产出 学科建设 成果管理 成果提交 成果认领 成果审核 学术分析 机构森林 关于我们

薛锦云 收藏

导出分析报告

研究主题：PAR方法    程序设计    形式化方法    循环不变式    PAR    

研究学科：自动化类    电子信息类    

被引量：487H指数：13

详细介绍研究成果关系图谱计量评价荣誉奖励

版权所有©重庆科技学院 重庆维普资讯有限公司 渝B2-20050021-7
　渝公网安备 50019002500408号　违法和不良信息举报中心