Smart Contracts for Government Processes: Case Study and Prototype Implementation (Short Paper)

von Krogsbaell, Magnus
Veröffentlicht in FC (24. : 2020 : Kota Kinabalu) Financial cryptography and data security (2020)

Business Process Compliance Using Reference Models of Law

von López, Hugo A.
Veröffentlicht in FASE (23. : 2020 : Online) Fundamental approaches to software engineering (2020)

Chain of Events: Modular Process Models for the Law

von Debois, Seren
Veröffentlicht in iFM (16. : 2020 : Online) Integrated formal methods (2020)