软件需求形式化及形式化验证工具-结果公告

软件需求形式化及形式化验证工具-结果公告 (招标编号： 0613-266025222068 ) 本 软件需求形式化及形式化验证工具 （招标项目编号： 0613-266025222068 ），确定 001 软件需求形式化及形式化验证工具： 的中标人如下： 一、中标人信息： 001软件需求形式化及形式化验证工具 中标人 中标价格 南京理工大学 282万元(人民币) 二、其他公告内容 / 三、监督部门 本招标项目的监督部门为 / 。