Категория:Илья Захаров — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) (Новая страница: «right {{rss4cat}} Доклады Ильи Захарова. * [https://vk.com/id41169810 VK] <noinclude>Category:Док…») |
StasFomin (обсуждение | вклад) |
||
| (не показано 36 промежуточных версий этого же участника) | |||
{{dokl}} * {{vkid|id41169810}} Доклады Ильи Захарова. * [httpsmailto://vkiljasher@gmail.com <!-- topub --> {{stats|disqus_comments=0|median_plays=34|refresh_time=2021-08-31T19:31:24.536877|vimeo_comments=0|vimeo_plays=73|youtube_comments=0|youtube_plays=57}} <!-- Most Interested BEGIN--> <small> Most popular talks: * [[File:Статическая верификация системного программного обеспечения на языке Си (Илья Захаров.jpg|right, OSDAY-2018)]] {{rss4cat/</small> <!-- Most Interested END-- VK] <noinclude>[[Category:Докладчики|З]]</noinclude> <noinclude>[[Category:ToPublish]]</noinclude> | |||
Текущая версия на 16:31, 31 августа 2021
- Можно подписаться на новые доклады в категории RSS/Atom
- VK
- mailto:iljasher@gmail.com
Plays:130 Comments:0
Most popular talks:
Страницы в категории «Илья Захаров»
Показаны 3 страницы из 3, находящихся в данной категории.
- Генерация модели окружения для группы модулей ядра для статической верификации (Илья Захаров, OSSDEVCONF-2013)
- Композиционное моделирование окружения для верификации программ на GNU C (Илья Захаров, ISPRASOPEN-2018)
- Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018)