research
∙
01/13/2020
Formal specification of a security framework for smart contracts
As smart contracts are growing in size and complexity, it becomes harder...
share
research
∙
01/06/2020
