Enikeev, A., Mohammed, M. B. A. and Stepanova, E. (2015) “ON FORMAL TOOLS IN THE SOFTWARE ENGINEERING”, European Scientific Journal, ESJ, 11(10). Available at: http://eujournal.org/index.php/esj/article/view/6478 (Accessed: 22October2020).