Automated generation of smart contract code from legal contract specifications with Symboleo2SC

Saved in:
Bibliographic Details
Published in:Software and systems modeling 2024-06
Main Authors: Rasti, Aidin, Anda, Amal Ahmed, Alfuhaid, Sofana, Parvizimosaed, Alireza, Amyot, Daniel, Roveri, Marco, Logrippo, Luigi, Mylopoulos, John
Format: Article
Language:English
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:1619-1366
1619-1374
DOI:10.1007/s10270-024-01187-9