Mutilin, V. S., Novikov, E. M., Strakh, A. V., Khoroshilov, A. V., & Shved, P. E. (2018, October). Linux Driver Verification Architecture. Труды Института системного программирования РАН.
Chicagoスタイル(17版)引用形式Mutilin, V. S., E. M. Novikov, A. V. Strakh, A. V. Khoroshilov, , P. E. Shved. "Linux Driver Verification Architecture." Труды Института системного программирования РАН Oct. 2018.
MLA(9版)引用形式Mutilin, V. S., et al. "Linux Driver Verification Architecture." Труды Института системного программирования РАН, Oct. 2018.
警告: この引用は必ずしも正確ではありません.