APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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