访问量:   最后更新时间:--

刘艾

硕士生导师
教师姓名:刘艾
教师拼音名称:Liu Ai
电子邮箱:
所在单位:计算机科学与技术学院/人工智能学院/软件学院
职务:Associate Professor
学历:博士毕业
性别:男
联系方式:shaoai@nuaa.edu.cn
学位:理学博士学位
职称:副教授
毕业院校:北京大学
所属院系:计算机科学与技术学院/软件学院
招生学科专业: 软件工程 -- 【招收硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院
其他联系方式

暂无内容

论文成果
TBFV4J: An Automated Testing-Based Formal Verification Tool for Java
发布时间:2025-04-15    点击次数:

发表刊物:accepted by ISSTA 2025 demo

论文类型:论文集

是否译文:

合写作者:Yang Liu,Shaoying Liu

第一作者:Ai Liu