课程名称	软件工程的形式化开发方法	英文名称
课程层次	研究生	所属学科
所属院系	计算机与人工智能学院	课程负责人	熊盛武

参与的申报
申报名称	状态	开放
2014年研究生国际化课程	通过	是