Nadia Polikarpova


AuthID: R-00H-HV8

Publicações a aguardar confirmação

1
TÍTULO: Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
AUTORES: Nadia Polikarpova; Steve Schneider;
PUBLICAÇÃO: 2017, FONTE: IFM, VOLUME: 10510
INDEXADO EM: DBLP

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