Exportar referência
APA
Martins, Nuno Alexandre Dias, (2013). Formal Verification of Parallel C+MPI Programs. http://hdl.handle.net/10451/10051 Marques, Eduardo Resende Brandão, Vasconcelos, Vasco Thudichum,
IEEE
Martins, Nuno Alexandre Dias, "Formal Verification of Parallel C+MPI Programs", 2013.
BIBTEX
@MastersThesis{34141,
author = {Martins, Nuno Alexandre Dias},
title = {Formal Verification of Parallel C+MPI Programs},
school = {FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA},
year = {2013},
OPTtype = {Documentos Académicos}
}