1. [n. d.]. Solidity documentation. https://docs.soliditylang.org/en/latest/. [n. d.]. Solidity documentation. https://docs.soliditylang.org/en/latest/.
2. Towards verifying ethereum smart contract bytecode in Isabelle/HOL
3. Nicola Atzei , Massimo Bartoletti , and Tiziana Cimoli . [n. d.]. A Survey of Attacks on Ethereum Smart Contracts (SoK). In Principles of Security and Trust - 6th International Conference , POST 2017, Held as Part of the ETAPS 2017, Uppsala, Sweden, April 22--29, 2017, Proceedings. Nicola Atzei, Massimo Bartoletti, and Tiziana Cimoli. [n. d.]. A Survey of Attacks on Ethereum Smart Contracts (SoK). In Principles of Security and Trust - 6th International Conference, POST 2017, Held as Part of the ETAPS 2017, Uppsala, Sweden, April 22--29, 2017, Proceedings.
4. Formal Verification of Smart Contracts