Citação norma APA

Martins, N. A. D. (2014). Formal verification of parallel C+MPI programs.

Citação norma Chicago

Martins, Nuno Alexandre Dias. Formal Verification of Parallel C+MPI Programs. 2014.

Citação norma MLA

Martins, Nuno Alexandre Dias. Formal Verification of Parallel C+MPI Programs. 2014.

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