Formal-verification of smart-contract languages : a surveyDwivedi, Vimal Kumar; Deval, Vipin; Dixit, Abhishek; Norta, AlexanderAdvances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II2019 / p. 738-747 https://doi.org/10.1007/978-981-13-9942-8_68 Conference proceedings at Scopus Article at Scopus

Perceptions on self-regulation and transaction friendliness relevant to smart contractingSolarte Vasquez, Maria Claudia; Rungi, Mait; Nyman-Metcalf, Katrin MerikeInternational journal of law and management2019 / p. 286-308 https://doi.org/10.1108/IJLMA-03-2018-0061 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS