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