Eduardo Henrique Geraldo


AuthID: R-000-Y5Q

Publicações a aguardar confirmação

1
TÍTULO: SNITCH: A Platform for Information Flow Control
AUTORES: Geraldo, Eduardo;
PUBLICAÇÃO: 2022, FONTE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274
INDEXADO EM: Scopus WOS

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