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. Informatica
Vasconcelos, Vasco Thudichum (Adviser)
Dep. Informatica
LASIGE - LASIGE Computer Science and Engineering Research Centre

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