Enikeev, A., Mohammed, M.B.A. and Stepanova, E. 2015. ON FORMAL TOOLS IN THE SOFTWARE ENGINEERING. European Scientific Journal, ESJ. 11, 10 (Nov. 2015).