Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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

This author has not been identified. Look up 'Amritraj Singh' in GoogleThis author has not been identified. Look up 'Reza M. Parizi' in GoogleThis author has not been identified. Look up 'Qi Zhang' in GoogleThis author has not been identified. Look up 'Kim-Kwang Raymond Choo' in GoogleThis author has not been identified. Look up 'Ali Dehghantanha' in Google

runs on WebDSL