Exportar referência
APA
Camacho, André Filipe Marinhas Henriques da Silva, (2014). Tools and techniques for the static verification of progress in communication-centred systems. https://repositorio.ul.pt/handle/10451/15862 Vasconcelos, Vasco Thudichum, Vieira, Hugo Filipe Mendes Torres,
IEEE
Camacho, André Filipe Marinhas Henriques da Silva, "Tools and techniques for the static verification of progress in communication-centred systems", 2014.
BIBTEX
@MastersThesis{34334,
author = {Camacho, André Filipe Marinhas Henriques da Silva},
title = {Tools and techniques for the static verification of progress in communication-centred systems},
school = {FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA},
year = {2014},
OPTtype = {Documentos Académicos}
}