Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 123



121
TÍTULO: Tool-Assisted Specification and Verification of the JavaCard Platform
AUTORES: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simão Melo de Sousa ;
PUBLICAÇÃO: 2002, FONTE: AMAST, VOLUME: 2422
INDEXADO EM: Scopus DBLP CrossRef: 7
122
TÍTULO: A formal executable semantics of the JavaCard platform
AUTORES: Barthe, G ; Dufay, G; Jakubiec, L; Serpette, B; de Sousa, SM ;
PUBLICAÇÃO: 2001, FONTE: 10th European Symposium on Programming in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 2028
INDEXADO EM: Scopus WOS DBLP
123
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: E-smart, VOLUME: 2140
INDEXADO EM: Scopus DBLP
Página 13 de 13. Total de resultados: 123.

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

Links Úteis

Ajuda

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