金融界2025年7月12日消息,国家知识产权局信息显示,中南民族大学;武汉空天软件技术有限公司取得一项名为“一种基于Go语言可执行形式化语义的程序漏洞分析方法”的专利,授权公告号CN113868136B,申请日期为2021年09月。
本文源自:金融界
作者:情报员
金融界2025年7月12日消息,国家知识产权局信息显示,中南民族大学;武汉空天软件技术有限公司取得一项名为“一种基于Go语言可执行形式化语义的程序漏洞分析方法”的专利,授权公告号CN113868136B,申请日期为2021年09月。
本文源自:金融界
作者:情报员
00:00
热门跟贴