Citação norma APA

Ádám, Z., Sallai, G., & Hajdu, Á. (2021). Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution). Tools and Algorithms for the Construction and Analysis of Systems.

Citação norma Chicago

Ádám, Zsófia, Gyula Sallai, and Ákos Hajdu. "Gazer-Theta: LLVM-based Verifier Portfolio With BMC/CEGAR (Competition Contribution)." Tools and Algorithms for the Construction and Analysis of Systems 2021.

Citação norma MLA

Ádám, Zsófia, Gyula Sallai, and Ákos Hajdu. "Gazer-Theta: LLVM-based Verifier Portfolio With BMC/CEGAR (Competition Contribution)." Tools and Algorithms for the Construction and Analysis of Systems 2021.

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