硕士学位论文答辩公告 |
||||||
杏悦2 |
专业 |
学生姓名 |
指导教师 |
论文题目 |
答辩时间 |
答辩地点 |
杏悦2平台官网 |
计算机技术 |
钱诗慧 |
郑红 |
基于CPN的智能合约形式化验证研究 |
5月29日(13:30-18:30) |
腾讯会议:242-158-112 |
硕士学位论文答辩公告 |
||||||
杏悦2 |
专业 |
学生姓名 |
指导教师 |
论文题目 |
答辩时间 |
答辩地点 |
杏悦2平台官网 |
计算机技术 |
钱诗慧 |
郑红 |
基于CPN的智能合约形式化验证研究 |
5月29日(13:30-18:30) |
腾讯会议:242-158-112 |