简介
林惠民博士为计算机软件与理论专家,长期从事计算机程序的形式语义学及形式化方法的研究,现任中国科学院软件研究所研究员。1999年当选为中国科学院院士。
免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。
{{item.userName}} 举报
{{item.content}}
{{item.time}} {{item.replyListShow ? '收起' : '展开'}}评论 {{curReplyId == item.id ? '取消回复' : '回复'}}
暂无评论
{{_reply.userName}} 举报
{{_reply.content}}
{{_reply.time}}
{{item.time}} {{item.replyListShow ? '收起' : '展开'}}评论 {{curReplyId == item.id ? '取消回复' : '回复'}}