Sargsyan, T. . (2021). Developing Game Model for Migration Process of Static Timing Analysis Tools. Mathematical Problems of Computer Science, 33, 196–200. Retrieved from http://93.187.165.2/index.php/mpcs/article/view/349