Anupam Singh, Raghuraj Suryavanshi, Divakar Yadav. Formal Specification and Verification of Replication in Blockchain Oriented Transactional System Using Event-B . IJAST [Internet]. 2020Jun.6 [cited 2024Apr.19];29(05):11172-81. Available from: http://sersc.org/journals/index.php/IJAST/article/view/25208