|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Конфигурируемая система статической верификации модулей ядра операционных системстатья
- Авторы: Захаров И.С., Мандрыкин М.У., Mutilin V.S., Новиков Е.М., Петренко А.К., Хорошилов А.В.
- Журнал: Труды Института системного программирования РАН (электронный журнал)
- Том: 26
- Номер: 2
- Год издания: 2014
- Первая страница: 5
- Последняя страница: 42
- Добавил в систему: Корныхин Евгений Валерьевич