2022年专刊出版计划
微信服务介绍
最新一期：2021年第2期
傅育熙,李国强,田聪.形式化方法的理论基础专题前言.软件学报,2018,29(6):1515-1516
形式化方法的理论基础专题前言
Preface on Theoretical Foundation of Formal Methods
投稿时间：2017-12-25
DOI：
10.13328/j.cnki.jos.005473
中文关键词
:
英文关键词
:
基金项目
:
作者
单位
E-mail
傅育熙
上海交通大学 软件学院
,
上海 200240
fu-yx@cs.sjtu.edu.cn
李国强
上海交通大学 软件学院
,
上海 200240
田聪
西安电子科技大学 计算机学院
,
陕西 西安 710071
摘要点击次数
:
2101
全文下载次数
:
1372
中文摘要
:
英文摘要
:
HTML
下载PDF全文
查看/发表评论
下载PDF阅读器
主办单位：中国科学院软件研究所 中国计算机学会
京ICP备05046678号-4
编辑部电话：+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有，未经许可，不得转载，本刊保留追究法律责任的权利
京公网安备 11040202500064号
