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