Skip navigation
DSpace logo

  1. Repositório Institucional da UFPB

Navegando por Autor Carvalho, Abraão Aires Urquiza de

Ir para: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou entre com as primeiras letras:  
Mostrando resultados 1 a 1 de 1
Data do documentoTítuloAutor(es)Tipo
31-Jan-2020Utilização de traços simbólicos e SMT solvers para a verificação de equivalência observacional em segurança e Privacidade de protocolosCarvalho, Abraão Aires Urquiza deDissertação
Mostrando resultados 1 a 1 de 1