Han, Ning; Li, Ximeng; Wang, Guohui; Shi, Zhiping; Guan, Yong Formal verification of atomicity requirements for smart contracts. (English) Zbl 1476.68148 Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 44-64 (2020). MSC: 68Q60 03B70 91B41 94A60 PDFBibTeX XMLCite \textit{N. Han} et al., Lect. Notes Comput. Sci. 12470, 44--64 (2020; Zbl 1476.68148) Full Text: DOI
Zhang, Jie; Mao, Danwen; Guan, Yong Formalization of linear space theory in the higher-order logic proving system. (English) Zbl 1315.03021 J. Appl. Math. 2013, Article ID 218492, 6 p. (2013). Reviewer: Manfred Kerber (Birmingham) MSC: 03B35 03B15 68T15 PDFBibTeX XMLCite \textit{J. Zhang} et al., J. Appl. Math. 2013, Article ID 218492, 6 p. (2013; Zbl 1315.03021) Full Text: DOI