Юрий Грибов

Разработчик инструментальных средств: компиляторов, инструментов верификации