Citazione Stile APA (7a Edizione)

Nagasamudram, R., Banerjee, A., & Naumann, D. A. (2025). Forall-Exists Relational Verification by Filtering to Forall-Forall.

Citazione stile Chigago Style (17a edizione)

Nagasamudram, Ramana, Anindya Banerjee, e David A. Naumann. Forall-Exists Relational Verification by Filtering to Forall-Forall. 2025.

Citatione MLA (9a ed.)

Nagasamudram, Ramana, et al. Forall-Exists Relational Verification by Filtering to Forall-Forall. 2025.