各位老师,同学: 本周我们非常荣幸地邀请到了赵建华教授讲授”Scope Logic中最弱前置条件计算方法 及其局限”,时间周二晚上6:30开始 地点在230教室.请准时参加. 麻烦研二同学协助索艳准备好场地.