1. Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities. Issue 88 (January 2020) Authors: Singh, Amritraj; Parizi, Reza M.; Zhang, Qi; Choo, Kim-Kwang Raymond; Dehghantanha, Ali Journal: Computers & security Issue: Issue 88(2020) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗