20181123AK
Материал из 0x1.tv
Страница-перенаправление
Перенаправление на:
Композиционное моделирование окружения для верификации программ на GNU C (Илья Захаров, ISPRASOPEN-2018)