形式化方法课程通知
通知日期
内容
3.23
3.30上课讲解所定义抽象机的同学：沈非，舒琴，江涌，梁鑫，王更
4.6 上课讲解所定义抽象机的同学：杨勇，高仲宁，代立云，李凯利，雷锦江
4.13上课讲解所定义抽象机的同学：李颖麟，管晓伟，洪阿丽，任方炯，刘洋，梁艳慧
本页及相关页面（除另声明者外）由
裘宗燕
创建维护，可自由用于各种学习活动。 其他使用需得到作者许可。