Error-free Smart Legal Contracts without Programmers

Purnell, K; Schwitter, R

Purnell, K (通讯作者),Macquarie Univ, Sydney, NSW, Australia.

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023; (385):