Файл:Илья Захаров.jpg — различия между версиями
Материал из 0x1.tv
История файла
Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.
| Дата/время | Миниатюра | Размеры | Участник | Примечание | |
|---|---|---|---|---|---|
| текущий | 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)
- Категория:Илья Захаров
