| 标题 |
 Automated generation of smart contract code from legal contract specifications with Symboleo2SC 使用Symboleo2SC从合法合同规范自动生成智能合同代码
相关领域
智能合约
计算机科学
按合同设计
合同管理
编码（集合论）
软件工程
程序设计语言
计算机安全
工程管理
业务
软件
软件开发
数据库事务
软件建设
集合（抽象数据类型）
营销
工程类
|
| 网址 | |
| DOI | |
| 其它 |
期刊：Software & Systems Modeling 作者：Aidin Rasti; Amal Ahmed Anda; Sofana Alfuhaid; Alireza Parvizimosaed; Daniel Amyot; et al 出版日期：2024-06-29 |
| 求助人 | |
| 下载 | 求助已完成，仅限求助人下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
寻道图强
spark810
乐乐乐乐乐乐
tuanheqi
Henry
杳鸢
shinysparrow
VDC
nenoaowu
火火
活泼蜜蜂
张子捷
iWatchTheMoon
ss25
五十一笑声
527
Hayat
mmmm
Singularity
Priscilla
皖公网安备34019202002308
