研究兴趣
新型程序设计与形式化方法 , 嵌入式系统设计
CONTACT BY SCHOLAT
想与我进行学术交流？
立即通过学者网的
和
工具与我联系！
和
工具与我联系！
Https://www.scholat.com/lg1070
Email:
扫一扫，访问我的主页
