Citação norma APA

Oakes, B. J., Troya Castilla, J., Lúcio, L., & Wimmer, M. (2016). Full contract verification for ATL using symbolic execution.

Citação norma Chicago

Oakes, Bentley James, Javier Troya Castilla, Levy Lúcio, y Manuel Wimmer. Full Contract Verification for ATL Using Symbolic Execution. 2016.

Citação norma MLA

Oakes, Bentley James, Javier Troya Castilla, Levy Lúcio, y Manuel Wimmer. Full Contract Verification for ATL Using Symbolic Execution. 2016.

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