发明专利 一种基于符号抽象分析的智能合约安全审计方法 专利号：2021114752600 专利类型 发明专利 申请号 2021114752600 申请年份 2021 专利状态 已下证可转让 领域：智能合约 区块链 区块链合约 数字合约 大数据 软件 代码 合同检查 合约检查 财务 审计 审查 人工智能 金融 交易 会计
