BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Academic documents

Document subtype
Master's dissertation

Title
Synthesis of correct-by-construction MPI programs

Participants in the publication
Lemos, Filipe Emanuel Ventura Pires de Matos (Author)
LASIGE - LASIGE Computer Science and Engineering Research Centre
Vasconcelos, Vasco Thudichum (Adviser)
Dep. Informatica
LASIGE - LASIGE Computer Science and Engineering Research Centre
Marques, Eduardo Resende Brandão (Adviser)
Dep. Informatica

Date of Publication
2014

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Publication Identifiers

Document Identifiers
URL - https://repositorio.ul.pt/handle/10451/15855

Notes
Orientadores: Eduardo Vieira
Co-orientadores: Vasco Vasconcelos



Export

APA
Lemos, Filipe Emanuel Ventura Pires de Matos, (2014). Synthesis of correct-by-construction MPI programs. https://repositorio.ul.pt/handle/10451/15855 Vasconcelos, Vasco Thudichum, Marques, Eduardo Resende Brandão,

IEEE
Lemos, Filipe Emanuel Ventura Pires de Matos, "Synthesis of correct-by-construction MPI programs", 2014.

BIBTEX
@MastersThesis{34301, author = {Lemos, Filipe Emanuel Ventura Pires de Matos}, title = {Synthesis of correct-by-construction MPI programs}, school = {FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA}, year = {2014}, OPTtype = {Documentos Académicos}, OPTannote = {Orientadores: Eduardo Vieira
Co-orientadores: Vasco Vasconcelos
} }