Dissertação de mestrado Acesso aberto

Verification of distributed algorithms with the Why3 tool

Autor(es)
Orientador(es)

Ficheiros

Carla Isabel Novais da Cruz.pdf (4.87 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