Tools and techniques for the static verification of progress in communication-centred systems

Tese de mestrado, Engenharia Informática (Engenharia de Software), Universidade de Lisboa, Faculdade de Ciências, 2014

Detalhes bibliográficos
Autor principal: Camacho, André Filipe Marinhas Henriques da Silva (author)
Formato: masterThesis
Idioma:eng
Publicado em: 2015
Assuntos:
Verificação de software
Sistema de tipos
Fidelidade
Progresso
Concorrência
Teses de mestrado - 2014
Texto completo:http://hdl.handle.net/10451/15862
País:Portugal
Oai:oai:repositorio.ul.pt:10451/15862

Texto Completo

http://hdl.handle.net/10451/15862

Registros relacionados