个人简介
陈灯，武汉工程大学
研究兴趣
可信软件 软件验证 契约式设计 程序约束挖掘 机器人 人工智能 机器学习
CONTACT Me
Scholat.com/chendeng8899
我的主页
获取微信名片
陈灯，武汉工程大学
可信软件 软件验证 契约式设计 程序约束挖掘 机器人 人工智能 机器学习
Scholat.com/chendeng8899
