软件安全特性形式化证明工具公告(变更)

沈阳市变更公告 2024-07-22

项目名称:软件安全特性形式化证明工具招标人:中国航空工业集团公司**飞机设计研究所招标编号:ZKX********A*** 变更内容：投标文件递交截止时间及开标时间变更为 ****年*月**日*时**分。 ***************** **** 年 * 月 ** 日