Страницы, ссылающиеся на «Файл:Илья Захаров.jpg»
Материал из 0x1.tv
Следующие страницы ссылаются на «Файл:Илья Захаров.jpg»:
Просмотреть (предыдущие 50 | следующие 50) (20 | 50 | 100 | 250 | 500)- Генерация модели окружения для группы модулей ядра для статической верификации (Илья Захаров, OSSDEVCONF-2013) (файловая ссылка) (← ссылки)
- Категория:Илья Захаров (файловая ссылка) (← ссылки)
- Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018) (файловая ссылка) (← ссылки)
- Композиционное моделирование окружения для верификации программ на GNU C (Илья Захаров, ISPRASOPEN-2018) (файловая ссылка) (← ссылки)