Dissertation
-Daniel Freire Lascas advised by João Coelho GarciaDescrição Automática de Erros em Aplicação Concorrentes​ MSc Thesis on , work in progress, [bibTex]