Anupam Singh, Raghuraj Suryavanshi, Divakar Yadav. (2020). Formal Specification and Verification of Replication in Blockchain Oriented Transactional System Using Event-B . International Journal of Advanced Science and Technology, 29(05), 11172-11181. Retrieved from http://sersc.org/journals/index.php/IJAST/article/view/25208