BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Academic documents

Document subtype
Master's dissertation

Title
Formal Verification of Parallel C+MPI Programs

Participants in the publication
Martins, Nuno Alexandre Dias (Author)
Marques, Eduardo Resende Brandão (Adviser)
Dep. Informática
 Vasconcelos, Vasco Thudichum (Adviser)
Dep. Informática
 LASIGE
Date of Publication
2013

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Publication Identifiers

Document Identifiers
URL - http://hdl.handle.net/10451/10051


Export

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} }