20181122AE
Материал из 0x1.tv
Страница-перенаправление
Перенаправление на:
Функции-леммы в среде Frama-C — использование С программ как доказательств (Григорий Волков, ISPRASOPEN-2018)