Homepage
About SEG
SEG News
SEG Seminar
Research
Tools
Internal Site
People
Publication
Curriculum
Album
Hot Link
Contact SEG
4月2日讨论班通知

本次讨论班于4月2日（周二）18点30分在系楼230举行

 

 本周邀请了汤震浩同学介绍他的研究工作: Verify Programs with Shape Analysis