Author:
Wen Hao,Zhu Jianming,Zhong Danfeng,Chen Yunzhi
Publisher
Springer Nature Singapore
Reference31 articles.
1. Willis, H.E.: Restatement of the law of contracts of the American Law Institute. Ind. LJ 7, 429 (1931)
2. Szabo, N.: Formalizing and securing relationships on public networks. First Monday 2(9) (1997)
3. Woebbeking, M.K.: The impact of smart contracts on traditional concepts of contract law. J. Intell. Prop. Info. Tech. Elec. Com. L. 10, 105 (2019)
4. Prisacariu, C., Schneider, G.: A formal language for electronic contracts. In: Bonsangue, M.M., Johnsen, E.B. (eds.) Formal Methods for Open Object-Based Distributed Systems, vol. 4468, pp. 174–189. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-72952-5-11
5. Sharifi, S.S.: Smart contracts: from formal specification to blockchain code. Dissertation, Université d’Ottawa/University of Ottawa (2020)