20181123AK
Материал из 0x1.tv
Версия от 11:35, 27 декабря 2018;
StasFomin
(
обсуждение
|
вклад
)
(Перенаправление на
Композиционное моделирование окружения для верификации программ на GNU C (Илья Захаров, ISPRASOPEN-2018)
)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Страница-перенаправление
Перенаправление на:
Композиционное моделирование окружения для верификации программ на GNU C (Илья Захаров, ISPRASOPEN-2018)