Model checking of vulnerabilities in smart contracts
Conference Paper
Overview
publication date
- April 25, 2022
published in
Identity
Digital Object Identifier (DOI)
Additional Document Info
has global citation frequency
- https://vivo.tib.eu/demo/individual/gcf_W4229075980 Global Citation Count
start page
- 316
end page
- 325