Формальные модели и верификация свойств программ с использованием промежуточного представления Кривчиков, Максим Александрович ВАК РФ 05.13.17 Стр. 1 из 27