(2012). Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux. Труды Института системного программирования РАН.
Chicago Style (17th ed.) Citation"Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux." Труды Института системного программирования РАН 2012.
MLA (9th ed.) Citation"Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux." Труды Института системного программирования РАН, 2012.
Warning: These citations may not always be 100% accurate.