Категория:Илья Захаров — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
{{dokl}}
* {{vkid|id41169810}}
* mailto:iljasher@gmail.com
<!-- topub -->
{{stats|disqus_comments=0|median_plays=36|refresh_time=2018-10-20T01:41:09.715993|vimeo_comments=0|vimeo_plays=52|youtube_comments=0|youtube_plays=21}}
<!-- Most Interested BEGIN-->
<small>
Most popular talks:
* [[Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018)]]
</small>
<!-- Most Interested END--> |
Версия 18:55, 25 февраля 2019
- Можно подписаться на новые доклады в категории RSS/Atom
- VK
- mailto:iljasher@gmail.com
Plays:73 Comments:0
Most popular talks:
Страницы в категории «Илья Захаров»
Показаны 3 страницы из 3, находящихся в данной категории.
- Генерация модели окружения для группы модулей ядра для статической верификации (Илья Захаров, OSSDEVCONF-2013)
- Композиционное моделирование окружения для верификации программ на GNU C (Илья Захаров, ISPRASOPEN-2018)
- Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018)