计算机科学与工程学院吴立军老师开设的《形式化方法》调课通知如下：、
停课安排：第8周   星期三第5~6节 立人楼A212
调课安排:  第12周 星期三第5~6节 立人楼A212
请大家相互转告。