Dissertação de mestrado Acesso aberto

Towards model checking electrum specifications with LTSmin

Autor(es)
Orientador(es)

Ficheiros

Bruno Miguel Sousa Cancelinha.pdf (1.07 MB)

Embargo

Tipo de Documento

Dissertação de mestrado

Idioma

Coleções

BUM - Dissertações de mestrado | Master thesis
A carregar...
Ver registo completo
UM