Citazione Stile APA (7a Edizione)

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

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (9a ed.)

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