Файл:Илья Захаров.jpg
Материал из 0x1.tv
Илья_Захаров.jpg (170 × 200 пикселей, размер файла: 19 КБ, MIME-тип: image/jpeg)
История файла
Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.
Дата/время | Миниатюра | Размеры | Участник | Примечание | |
---|---|---|---|---|---|
текущий | 06:48, 22 июня 2018 | 170 × 200 (19 КБ) | StasFomin (обсуждение | вклад) | ||
23:11, 4 ноября 2014 | 200 × 194 (14 КБ) | StasFomin (обсуждение | вклад) |
- Вы не можете перезаписать этот файл.
Использование файла
Следующие 4 страницы ссылаются на данный файл:
- Генерация модели окружения для группы модулей ядра для статической верификации (Илья Захаров, OSSDEVCONF-2013)
- Композиционное моделирование окружения для верификации программ на GNU C (Илья Захаров, ISPRASOPEN-2018)
- Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018)
- Категория:Илья Захаров