Nuno Filipe Moreira Macedo


AuthID: R-001-TJD

Publicações a aguardar confirmação

1
TÍTULO: On Quantitative Solution Iteration in QAlloy
AUTORES: Pedro Silva; Nuno Macedo; José Nuno Oliveira;
PUBLICAÇÃO: 2026, FONTE: 11th International Conference on Rigorous State-Based Methods, ABZ 2025 in Lecture Notes in Computer Science, VOLUME: 15728 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID

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