×

Found 2 Documents (Results 1–2)

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).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

Software