1. Formal verification of smart contracts based on users and blockchain behaviors models;Abdellatif,2018
2. Blockchain technology in the auditing environment;Abreu,2018
3. The upcoming blockchain adoption in Higher-education: requirements and process;Al Harthy,2019
4. Proceedings of the future technologies conference (FTC) 2018;Arai,2017
5. ‘Certified Bitcoins’, in;Ateniese,2014