Citazione Stile APA (7a Edizione)

Haak, L. B. v. d., Wijs, A., & Huisman, M. (2026). Scalable Deductive Verification of Data-Level Parallel Programs.

Citazione stile Chigago Style (17a edizione)

Haak, Lars B. van den, Anton Wijs, e Marieke Huisman. Scalable Deductive Verification of Data-Level Parallel Programs. 2026.

Citatione MLA (9a ed.)

Haak, Lars B. van den, et al. Scalable Deductive Verification of Data-Level Parallel Programs. 2026.