計算機科學與工程學院吳立軍老師開設的《形式化要领》調課通知如下：、
停课部署：第8周   星期三第5~6节 立人楼A212
调课部署:  第12周 星期三第5~6节 立人楼A212
請各人相互轉告。