Подразделения

Козин Святослав Владимирович

Должность:

специалист научно-методического отдела проектирования и развития городских инициатив

Научные интересы

Компьютерные науки


Публикации

Kozin S.V., Mutilin V.S. Static Verification of Linux Kernel Configurations. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2017; 29(4): 217-230.