Svyatoslav Kozin
Specialist
Post: Specialist at the Center for Analytical Research and Modeling in Education
- KozinSV@mgpu.ru
Selected Publications
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.