APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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

Warning: These citations may not always be 100% accurate.