BIBLIOS

  Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Documentos Académicos

Tipo de Documento
Dissertação de Mestrado

Título
Synthesis of correct-by-construction MPI programs

Participantes na publicação
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

Data de Publicação
2014

Instituição
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Identificadores da Publicação

Identificadores do Documento
URL - https://repositorio.ul.pt/handle/10451/15855

Anotações
Orientadores: Eduardo Vieira
Co-orientadores: Vasco Vasconcelos



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