Enikeev, A., Mohammed, M. B. A., & Stepanova, E. (2015). ON FORMAL TOOLS IN THE SOFTWARE ENGINEERING. European Scientific Journal, ESJ, 11(10). Retrieved from https://eujournal.org/index.php/esj/article/view/6478