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