Категория:Илья Захаров
Материал из 0x1.tv
Версия от 22:41, 19 октября 2018; StasFomin (обсуждение | вклад)
- Можно подписаться на новые доклады в категории RSS/Atom
- VK
- mailto:iljasher@gmail.com
Plays:73 Comments:0
Страницы в категории «Илья Захаров»
Показаны 3 страницы из 3, находящихся в данной категории.
- Генерация модели окружения для группы модулей ядра для статической верификации (Илья Захаров, OSSDEVCONF-2013)
- Композиционное моделирование окружения для верификации программ на GNU C (Илья Захаров, ISPRASOPEN-2018)
- Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018)