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
Percorrer por autor
Percorrer 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
