Страницы, ссылающиеся на «Функции-леммы в среде Frama-C — использование С программ как доказательств (Григорий Волков, ISPRASOPEN-2018)»

Материал из 0x1.tv

Ссылки сюда      
Фильтры Скрыть включения | Скрыть ссылки | Скрыть перенаправления

Следующие страницы ссылаются на «Функции-леммы в среде Frama-C — использование С программ как доказательств (Григорий Волков, ISPRASOPEN-2018)»:

Просмотреть (предыдущие 250 | следующие 250) (20 | 50 | 100 | 250 | 500)Просмотреть (предыдущие 250 | следующие 250) (20 | 50 | 100 | 250 | 500)
Источник — «https://0x1.tv/Служебная:Ссылки_сюда/Функции-леммы_в_среде_Frama-C_—_использование_С_программ_как_доказательств_(Григорий_Волков,_ISPRASOPEN-2018)»