20180517D
Материал из 0x1.tv
Страница-перенаправление
Перенаправление на:
Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018)