Mario Gleirscher


AuthID: R-00K-1YQ

Publicações a aguardar confirmação

1
TÍTULO: Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021
AUTORES: Mario Gleirscher; Jaco van de Pol; Jim Woodcock;
PUBLICAÇÃO: 2021, FONTE: AppFM@FM, VOLUME: 349
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