Enikeev, A. et al. 2015. ON FORMAL TOOLS IN THE SOFTWARE ENGINEERING. European Scientific Journal, ESJ. 11, 10 (Nov. 2015).