Категория:Илья Захаров — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) (Новая страница: «right {{rss4cat}} Доклады Ильи Захарова. * [https://vk.com/id41169810 VK] <noinclude>Category:Док…») |
StasFomin (обсуждение | вклад) (Batch edit: add <!-- topub -->) |
||
[[File:Илья Захаров.jpg|right]]
{{rss4cat}}
Доклады Ильи Захарова.
* [https://vk.com/id41169810 VK]
<noinclude>[[Category:Докладчики|З]]</noinclude>
<noinclude>[[Category:ToPublish]]</noinclude>
<!-- topub --> |
Версия 23:16, 9 ноября 2014
- Можно подписаться на новые доклады в категории RSS/Atom
Доклады Ильи Захарова.
Страницы в категории «Илья Захаров»
Показаны 3 страницы из 3, находящихся в данной категории.
- Генерация модели окружения для группы модулей ядра для статической верификации (Илья Захаров, OSSDEVCONF-2013)
- Композиционное моделирование окружения для верификации программ на GNU C (Илья Захаров, ISPRASOPEN-2018)
- Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018)