Exportar referência
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
}
}