Cita APA (7a ed.)

Nagasamudram, R., Banerjee, A., & Naumann, D. A. (2023). Alignment complete relational Hoare logics for some and all.

Cita Chicago Style (17a ed.)

Nagasamudram, Ramana, Anindya Banerjee, y David A. Naumann. Alignment Complete Relational Hoare Logics for Some and All. 2023.

Cita MLA (9a ed.)

Nagasamudram, Ramana, et al. Alignment Complete Relational Hoare Logics for Some and All. 2023.