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 February 2, 2026. https://last.eujournal.org/index.php/esj/article/view/6478.