华东师范大学 硕士学位论文答辩公告
发布时间:2020-05-25 

兹定于  2020   5    25   14:30 时,在  腾讯会议 917849905   (如安排线上答辩请填写会议平台及会议号)举行  软件工程  (专业)硕士学位论文答辩会,欢迎旁听。

院系

论文作者

论文指导教师

论文题目

软件工程学院

李亚男

刘静

基于Coq的Paxos的形式化建模与验证

学术型研究生请按组答辩前一周进行公告,表格可自行添加行数

华东师范大学软件工程学位评定分委员会

华东师范大学学位办公室

 2020年5月19日                                     

华东师范大学软件工程学院
www.sei.ecnu.edu.cn Copyright Software Engineering Institute
院长信箱:yuanzhang@sei.ecnu.edu.cn | 院办电话:021-62232550 | 学院地址:上海中山北路3663号理科大楼