Enikeev, Arslan, Mahfoodh Bilal Ahmed Mohammed, and Elina Stepanova. 2015. “ON FORMAL TOOLS IN THE SOFTWARE ENGINEERING”. European Scientific Journal, ESJ 11 (10). http://eujournal.org/index.php/esj/article/view/6478.