Lomakin V. V., Zaitseva T. V., Putivtseva N. P., Petina M. A., Zaitsev I. M. (2020). Formal methods of analysis and synthesis for decisions options during corporate information system development. International Journal of Advanced Science and Technology, 29(08), 742 - 747. Retrieved from http://sersc.org/journals/index.php/IJAST/article/view/18814