Стиль цитування APA (7-ме видання)

Ekici, B., Viswanathan, A., Zohar, Y., Tinelli, C., Barrett, C., & Sattler, U. (2023). Formal verification of bit-vector invertibility conditions in Coq. Springer.

Чикаго стиль цитування (17-те видання)

Ekici, B., A. Viswanathan, Y. Zohar, C. Tinelli, C. Barrett, та U. Sattler. Formal Verification of Bit-vector Invertibility Conditions in Coq. Springer, 2023.

Стиль цитування MLA (9-ме видання)

Ekici, B., et al. Formal Verification of Bit-vector Invertibility Conditions in Coq. Springer, 2023.