About this scholarly article

Formal-Verification of Smart-Contract Languages: A Survey by Dwivedi, Vimal ;Deval, Vipin ;Dixit, Abhishek ;Norta, Alex is a scholarly article available to read on EtoBox.

Author

Dwivedi, Vimal ;Deval, Vipin ;Dixit, Abhishek ;Norta, Alex

Publisher

Springer Singapore

Published

2019