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