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

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

Перейти на страницу


История файла

Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.

Дата/времяМиниатюраРазмерыУчастникПримечание
текущий08:43, 21 декабря 2018Миниатюра для версии от 08:43, 21 декабря 2018720 × 405, 29 страниц (211 КБ)StasFomin (обсуждение | вклад)
  • Вы не можете перезаписать этот файл.