Андрианов П.С., Мутилин В.С. Проверка корректности модели памяти методами статического анализа // № 22, 2023
