Style de citation APA (7e éd.)

Cheng, R., & Farzan, A. (2026). Symmetric Proofs of Parameterized Programs.

Style de citation Chicago (17e éd.)

Cheng, Ruotong, et Azadeh Farzan. Symmetric Proofs of Parameterized Programs. 2026.

Style de citation MLA (9e éd.)

Cheng, Ruotong, et Azadeh Farzan. Symmetric Proofs of Parameterized Programs. 2026.

Attention : ces citations peuvent ne pas être correctes à 100%.