Valentin Goranko


AuthID: R-00H-B5A

Publicações a aguardar confirmação

1
TÍTULO: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden
AUTORES: Valentin Goranko; Mads Dam;
PUBLICAÇÃO: 2017, FONTE: CSL, VOLUME: 82
INDEXADO EM: DBLP

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

Links Úteis

Ajuda

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