Разработка методов и инструментальных средств обнаружения тупиков в параллельных программах Горшков, Сергей Леонидович ВАК РФ 05.13.11 Стр. 1 из 20