Cita APA (7th ed.)

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

Cita Chicago (17th ed.)

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

Cita MLA (9th ed.)

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