APA (7. basım) Alıntı

Стотланд И. А., Васильев А. Г., & Деменкова Т. А. (2012). Подход к автоматизации формальной верификации модулей системного обмена микропроцессоров; Современные техника и технологии; Т. 2. 2012.

Chicago Style (17. basım) Atıf

Стотланд И. А., Васильев А. Г., ve Деменкова Т. А. Подход к автоматизации формальной верификации модулей системного обмена микропроцессоров; Современные техника и технологии; Т. 2. 2012, 2012.

MLA (9th ed.) Atıf

Стотланд И. А., et al. Подход к автоматизации формальной верификации модулей системного обмена микропроцессоров; Современные техника и технологии; Т. 2. 2012, 2012.