望安相关的新闻

2025年11月28日—11月30日，2025CCF中国软件大会在湖北省武汉国际会议中心圆满举办。

IT产业网 2025/12/05 16:29 化验 中国 安科 原生 出席 共话 大会 形式 望安 验证 软件 形式化 科技 安全

2025年7月11日，由中国计算机学会(CCF)主办，中国计算机学会(CCF)形式化方法专业委员会和浙江望安科技有限公司联合承办的“‘智领未来’形式化方法产业应用研讨会——中国计算机学会(CCF)形式化方法专业委员会走进望安科技”活动在浙江望安科技有限公司顺利召开。

IT产业网 2025/07/15 15:40 化方 安科 专委会 顺利 研讨会 方法 委会 走进 形式 召开 形式化方法 望安 研讨 形式化 科技