Citação norma APA

Beyer, D. (2020). Advances in Automatic Software Verification: SV-COMP 2020. Tools and Algorithms for the Construction and Analysis of Systems.

Citação norma Chicago

Beyer, Dirk. "Advances in Automatic Software Verification: SV-COMP 2020." Tools and Algorithms for the Construction and Analysis of Systems 2020.

Citação norma MLA

Beyer, Dirk. "Advances in Automatic Software Verification: SV-COMP 2020." Tools and Algorithms for the Construction and Analysis of Systems 2020.

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