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