Ivrii, A., & Strichman, O. (2020). Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020. TU Wien Academic Press.
Чикаго стиль цитування (17-те видання)Ivrii, Alexander, та Ofer Strichman. Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020. Vienna: TU Wien Academic Press, 2020.
Стиль цитування MLA (9-ме видання)Ivrii, Alexander, та Ofer Strichman. Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020. TU Wien Academic Press, 2020.
Попередження: стилі цитування не завжди правильні на всі 100%.