20181122AE

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

Версия от 08:16, 21 декабря 2018; StasFomin (обсуждение | вклад) (Перенаправление на Функции-леммы в среде Frama-C — использование С программ как доказательств (Григорий Волков, ISPRASOPEN-2018))

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)

Страница-перенаправление

Перенаправление на:

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

Источник — «https://0x1.tv./index.php?title=20181122AE&oldid=104509»