Simão Patrício Melo de Sousa


AuthID: R-000-GKV

Publicações Confirmadas: 41



41
TÍTULO: Jakarta: A Toolset for Reasoning about JavaCard
AUTORES: Gilles Barthe ; Guillaume Dufay; Marieke Huisman; Simão Melo de Sousa ;
PUBLICAÇÃO: 2001, FONTE: Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings, VOLUME: 2140
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
Página 5 de 5. Total de resultados: 41.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service