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
 Vasconcelos, Vasco Thudichum (Adviser)
Dep. Informática
 LASIGE
 Marques, Eduardo Resende Brandão (Adviser)
Dep. Informática
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
} }