Kasyanov V., Kasyanova E. Methods and technologies for constructing efficient and reliable programs and software systems based on graph models and semantic transformations // # 19, 2021
Kablukov I., Shelekhov V. Development of the parallel predicate program for solving leaner equations by the Gauss-Jordan method // # 12, 2018
