Logo do repositório
 
Miniatura
Publicação

On the formal verification of specifications based on typestates with access permissions

2012Tese de doutoramento Acesso aberto
http://hdl.handle.net/10400.13/1453
Utilize este identificador para referenciar este registo.

Autores

Ahmed, Ijaz

Orientador(es)

Cataño Collazos, Néstor

Resumo(s)

Descrição

Palavras-chave

Informática Engenharia informática Programme in Informatics Engineering . Faculdade de Ciências Exatas e da Engenharia

URI

http://hdl.handle.net/10400.13/1453

Contexto Educativo

Citação

Projetos de investigação

Unidades organizacionais

Fascículo

Editora

Coleções

Teses de Doutoramento

Licença CC