Cita APA (7a ed.)

Baldan, P., Bruni, R., Ranzato, F., & Rigo, D. (2026). A Program Logic for Abstract (Hyper)Properties.

Cita Chicago Style (17a ed.)

Baldan, Paolo, Roberto Bruni, Francesco Ranzato, y Diletta Rigo. A Program Logic for Abstract (Hyper)Properties. 2026.

Cita MLA (9a ed.)

Baldan, Paolo, et al. A Program Logic for Abstract (Hyper)Properties. 2026.