机译:智能合约的验证与验证:研究议程
King’s College London;
King’s College London;
Kwôri;
Contracts; Natural languages; Distributed databases; Bitcoin;
机译:智能合约中的代码克隆:以Ethereum Bloctchain平台的验证合同为例
机译:用于智能合同的安全类型验证者
机译:信任但验证:区块链智能合同的Oracle Paradox
机译:利用Java源代码验证程序验证智能合约业务逻辑
机译:智能电网P2P能源交易智能合同:以外型实施和绩效评估
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:智能合约的验证与验证:研究议程
机译:通用标准评估和验证方案验证报告:智能卡安全用户组(sCsUG)智能卡保护配置文件(sCpp),版本3.0。