|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
How to cook an automated system for Linux driver verificationстатья
- Авторы: Khoroshilov A., Mutilin V., Shcherbina V., Strikov O., Vinogradov S., Zakharov V.A.
- Сборник: Proceedings of the 1st Spring Young Researchers’ Colloquium on Software Engineering SYRCoSE 2008 (St Petersburg, May 29-30, 2008)
- Год издания: 2008
- Место издания: Санкт-Петербург
- Первая страница: 15
- Последняя страница: 19
- Добавил в систему: Захаров Владимир Анатольевич