A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts Conference Paper

authors

publication date

October 1, 2021

published in

Digital Object Identifier (DOI)

https://doi.org/10.1109/wetice53228.2021.00024

has global citation frequency

https://vivo.tib.eu/demo/individual/gcf_W4206981433 Global Citation Count

start page

69

end page

74