Nobuko Yoshida


AuthID: R-00M-0C5

Publicações a aguardar confirmação

11
TÍTULO: Fencing off Go: Liveness and Safety for Channel-based Programming (extended version) PDF
AUTORES: Julien Lange; Nicholas Ng; Bernardo Toninho ; Nobuko Yoshida;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1610.08843
INDEXADO EM: Scopus DBLP arXiv CrossRef: 25
Página 2 de 2. Total de resultados: 11.

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