Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers - Yavorskiy, Rostislav; Cavalli, Ana Rosa; Kalenkova, Anna (Springer Nature Switzerland, 2024)