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

Towards user-centered and legally relevant smart-contract development : a systematic literature reviewDixit, Abhishek; Deval, Vipin; Dwivedi, Vimal Kumar; Draheim, DirkJournal of Industrial Information Integration2022 / art. 100314 ; 18 p https://doi.org/10.1016/j.jii.2021.100314 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS