%0 Journal Article %1 journals/compsec/SinghPZCD20 %A Singh, Amritraj %A Parizi, Reza M. %A Zhang, Qi %A Choo, Kim-Kwang Raymond %A Dehghantanha, Ali %D 2020 %J Comput. Secur. %K dblp %T Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities. %U http://dblp.uni-trier.de/db/journals/compsec/compsec88.html#SinghPZCD20 %V 88

@article{journals/compsec/SinghPZCD20, added-at = {2023-08-28T00:00:00.000+0200}, author = {Singh, Amritraj and Parizi, Reza M. and Zhang, Qi and Choo, Kim-Kwang Raymond and Dehghantanha, Ali}, biburl = {https://www.bibsonomy.org/bibtex/2a97ab5c55e7125e85b8e412858c1cca3/dblp}, ee = {https://www.wikidata.org/entity/Q114261829}, interhash = {f4a80728d11d2e4f61c96515bafef2a3}, intrahash = {a97ab5c55e7125e85b8e412858c1cca3}, journal = {Comput. Secur.}, keywords = {dblp}, timestamp = {2024-04-09T03:28:18.000+0200}, title = {Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities.}, url = {http://dblp.uni-trier.de/db/journals/compsec/compsec88.html#SinghPZCD20}, volume = 88, year = 2020 }