Citação norma APA

Lammich, P. (2020). Efficient Verified Implementation of Introsort and Pdqsort. Automated Reasoning.

Citação norma Chicago

Lammich, Peter. "Efficient Verified Implementation of Introsort and Pdqsort." Automated Reasoning 2020.

Citação norma MLA

Lammich, Peter. "Efficient Verified Implementation of Introsort and Pdqsort." Automated Reasoning 2020.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.