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