On legal contracts, imperative and declarative smart contracts, and blockchain systems
Guido GovernatoriData61, CSIRO, Brisbane, AustraliaFlorian IdelbergerEuropean University Institute, Florence, ItalyZoran MiloševićRégis RiveretData61, CSIRO, Brisbane, AustraliaGiovanni SartorEuropean University Institute, Florence, ItalyXiwei XuData61, CSIRO, Sydney, Australia
2018en
ABI
Abstract
No abstract available.
Identifiers
Citations and references
Cited by 20 references