Formal-verification of smart-contract languages : a survey
Dwivedi, Vimal Kumar
;
Deval, Vipin
;
Dixit, Abhishek
;
Norta, Alexander
Advances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II
2019
/
p. 738-747
https://doi.org/10.1007/978-981-13-9942-8_68
https://www.scopus.com/sourceid/17700155007
https://www.scopus.com/record/display.uri?eid=2-s2.0-85070229816&origin=inward&txGid=9375f1602fdd70684b0b312fc4189af5