|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Многоаспектная верификация модулей ядра операционной системы Linuxтезисы доклада
- Автор: Мордань В.О.
- Сборник: Материалы XXI Международной научной конференции студентов, аспирантов и молодых ученых «Ломоносов»
- Серия: Электронный ресурс МГУ
- Тезисы
- Год издания: 2014
- Первая страница: 122
- Последняя страница: 123
- Добавил в систему: Мордань Виталий Олегович