root.skip-to-content
Português
English
Entrar
Entrar com CIÊNCIA-ID
Endereço de email
Palavra-chave
Entrar
Novo utilizador? Clique aqui para se registar.
Esqueceu a palavra-chave?
Comunidades & Coleções
Percorrer repositório
Entidades
Português
English
Entrar
Entrar com CIÊNCIA-ID
Endereço de email
Palavra-chave
Entrar
Novo utilizador? Clique aqui para se registar.
Esqueceu a palavra-chave?
Página inicial
Universidade da Madeira
Teses de Doutoramento
Percorrer por autor
Teses de Doutoramento
URI permanente para esta coleção:
http://hdl.handle.net/10400.13/2
Navegar
Entradas recentes
Por data de publicação
Por autor
Por orientador
Por título
Por assunto
Por tipo de recurso
Por contribuidor
Por ODS
Por FOS
Entradas recentes
Por data de publicação
Por autor
Por orientador
Por título
Por assunto
Por tipo de recurso
Por contribuidor
Por ODS
Por FOS
Percorrer Teses de Doutoramento por autor "Ahmed, Ijaz"
Pesquisar
Todos os resultados
A mostrar
1 - 1 de 1
Resultados por página
1
5
10
Opções de ordenação
Ascendente
Descendente
On the formal verification of specifications based on typestates with access permissions
Publication .
Ahmed, Ijaz
;
Cataño Collazos, Néstor
Expandir
2012
Tese de doutoramento
Acesso aberto
Ver mais
