华东师范大学 硕士学位论文答辩公告
发布时间：2020-05-25
兹定于 2020 年 5 月 25 日 14：30 时，在 腾讯会议 917849905 （如安排线上答辩请填写会议平台及会议号）举行 软件工程 （专业）硕士学位论文答辩会，欢迎旁听。
|
院系 |
论文作者 |
论文指导教师 |
论文题目 |
|
软件工程学院 |
李亚男 |
刘静 |
基于Coq的Paxos的形式化建模与验证 |
学术型研究生请按组答辩前一周进行公告，表格可自行添加行数
华东师范大学软件工程学位评定分委员会
华东师范大学学位办公室
2020年5月19日
