Страницы, ссылающиеся на «Категория:Григорий Волков»
Материал из 0x1.tv
Следующие страницы ссылаются на «Категория:Григорий Волков»:
Просмотреть (предыдущие 50 | следующие 50) (20 | 50 | 100 | 250 | 500)- Speakers-Bottom500 (← ссылки)
- Функции-леммы в среде Frama-C — использование С программ как доказательств (Григорий Волков, ISPRASOPEN-2018) (← ссылки)