Для цитирования:

Мутилин В.С., Новиков Е.М., Страх А.В., Хорошилов А.В., Швед П.Е. Архитектура Linux Driver Verification. Труды Института системного программирования РАН. 2011;20.

For citation:

Mutilin V.S., Novikov E.M., Strakh A.V., Khoroshilov A.V., Shved P.E. Linux Driver Verification Architecture. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2011;20. (In Russ.)