Категория:Илья Захаров — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (Batch edit: replace PCRE \[http[s]?://vk.com/([\w]+) \w+\] with {{vkid|\1}}) |
||
{{dokl}} * [https://vk.com/{{vkid|id41169810 VK]}} * mailto:ilja.zakharov@ispras.ru <!-- topub --> {{stats|disqus_comments=0|median_plays=27|refresh_time=2018-05-15T20:37:11.218126|vimeo_comments=0|vimeo_plays=17|youtube_comments=0|youtube_plays=10}} |
Версия 03:51, 17 июня 2018
- Можно подписаться на новые доклады в категории RSS/Atom
- VK
- mailto:ilja.zakharov@ispras.ru
Plays:27 Comments:0
Страницы в категории «Илья Захаров»
Показаны 3 страницы из 3, находящихся в данной категории.
- Генерация модели окружения для группы модулей ядра для статической верификации (Илья Захаров, OSSDEVCONF-2013)
- Композиционное моделирование окружения для верификации программ на GNU C (Илья Захаров, ISPRASOPEN-2018)
- Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018)