(2012). Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux. Труды Института системного программирования РАН.
Παραπομπή σε μορφή Chicago (17η εκδ.)"Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux." Труды Института системного программирования РАН 2012.
Παραπομπή σε μορφή MLA (9th εκδ.)"Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux." Труды Института системного программирования РАН, 2012.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.