ENIKEEV, A.; MOHAMMED, M. B. A.; STEPANOVA, E. ON FORMAL TOOLS IN THE SOFTWARE ENGINEERING. European Scientific Journal, ESJ, v. 11, n. 10, 13 Nov. 2015.