Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities[J] COMPUTERS & SECURITY 2020(88) Singh, Amritraj Parizi, Reza M. Zhang, Qi Choo, Kim-Kwang Raymond Dehghantanha, Ali
