C. B. Breunesse


AuthID: R-00G-0XA

Publicações a aguardar confirmação

1
TÍTULO: Formal methods for smart cards: An experience report  Full Text
AUTORES: Breunesse, CB; Catano, N; Huisman, M; Jacobs, B;
PUBLICAÇÃO: 2005, FONTE: Science of Computer Programming, VOLUME: 55, NÚMERO: 1-3 SPEC. ISS.
INDEXADO EM: Scopus CrossRef

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

Links Úteis

Ajuda

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