Heike Wehrheim


AuthID: R-00J-FRA

Publicações a aguardar confirmação

1
TÍTULO: Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]
AUTORES: Wolfgang Ahrendt; Heike Wehrheim;
PUBLICAÇÃO: 2020, FONTE: TAP@STAF, VOLUME: 12165
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