A Semantic Framework for the Security Analysis of Ethereum Smart Contracts(link.springer.com)
link.springer.com
A Semantic Framework for the Security Analysis of Ethereum Smart Contracts
https://link.springer.com/chapter/10.1007/978-3-319-89722-6_10
0 comments
—