Enikeev A, Mohammed MBA, Stepanova E. ON FORMAL TOOLS IN THE SOFTWARE ENGINEERING. ESJ [Internet]. 2015 Nov. 13 [cited 2025 Apr. 19];11(10). Available from: https://test.eujournal.org/index.php/esj/article/view/6478