Федухин, А., Муха, А., & Сеспедес Гарсия, Н. (2016). Доказательство безопасности компьютерных систем. Математичні машини і системи.
Chicago-Zitierstil (17. Ausg.)Федухин, А.В, Ар.А Муха, und Н.В Сеспедес Гарсия. "Доказательство безопасности компьютерных систем." Математичні машини і системи 2016.
MLA-Zitierstil (8. Ausg.)Федухин, А.В, et al. "Доказательство безопасности компьютерных систем." Математичні машини і системи, 2016.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.