| 公司名称 | 内容 |
|---|
水滴信用新功能推荐
杨霞
简介： 电子科技大学副教授、博士后，区块链形式化验证权威专家，形式化验证理论和方法专家，从事形式化验证多年，曾为多家军口单位（神州飞船控制系统，导弹控制系统等）研制关键软件的形式化验证，CCF区块链专委会成员，曾担任多家公司的创始人。发表30多篇，申请20多项专利。
11
| 序号 | 名称 | 合作次数 |
|---|
4
免责声明：风险事件的数据是基于公开信息通过大数据分析后的结果，仅供用户参考，水滴信用不对事件的及时性，有效性负责，请用户慎重选择使用该信息！若因参考、使用该信息造成损失的，由用户自行负责，水滴信用不承担任何责任
实付金额 ￥ 元
请用微信扫码完成付款
￥0.00
人已购买
报告内容：
扫二维码立即查看
您收到一条采购单
