Building Executable Secure Design Models for Smart Contracts with Formal Methods - Weifeng Xu, Glenn A. Fink

Building Executable Secure Design Models for Smart Contracts with Formal Methods - Weifeng Xu, Glenn A. Fink | Arena