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