法律状态公告日
法律状态信息
法律状态
2018-11-23
授权
授权
2016-04-27
实质审查的生效 IPC(主分类):G06F9/44 申请日:20140902
实质审查的生效
2016-04-27
实质审查的生效 IPC(主分类):G06F 9/44 申请日:20140902
实质审查的生效
2016-03-30
公开
公开
2016-03-30
公开
公开
机译: 识别源代码版本之间的语义差异
机译: 识别源代码版本之间的语义差异
机译: 静态分析中软件源代码标识自然语义的软件验证方法