Citazione Stile APA (7a Edizione)

Tsai, W., Chen, Y., & Lengál, O. (2026). A Practical Specification Language for Automatic Quantum Program Verification (Technical Report).

Citazione stile Chigago Style (17a edizione)

Tsai, Wei-Lun, Yu-Fang Chen, e Ondřej Lengál. A Practical Specification Language for Automatic Quantum Program Verification (Technical Report). 2026.

Citatione MLA (9a ed.)

Tsai, Wei-Lun, et al. A Practical Specification Language for Automatic Quantum Program Verification (Technical Report). 2026.