Bogdanich Espina, V. (2019). Ethereum smart contracts verification: A survey and a prototype tool.
Cita Chicago Style (17a ed.)Bogdanich Espina, Vera. Ethereum Smart Contracts Verification: A Survey and a Prototype Tool. 2019.
Cita MLA (8a ed.)Bogdanich Espina, Vera. Ethereum Smart Contracts Verification: A Survey and a Prototype Tool. 2019.
Precaución: Estas citas no son 100% exactas.