钟浩

研究员

所在单位:电子信息与电气工程学院

职称:研究员

电子邮箱:zhonghao@sjtu.edu.cn

查看更多>

教师主页二维码

The role of model checking in software engineering

发布时间:2020-06-12

发表刊物:FRONTIERS OF COMPUTER SCIENCE

ISSN号:2095-2228

是否译文:

发表时间:2018-08-01

论文类型:期刊论文

 沪ICP备05052060 版权所有©上海交通大学

访问人数: | 开通时间:--

最近更新时间:--