Cláudio Filipe Belo da Silva Lourenço


AuthID: R-00F-KKK

Publicações a aguardar confirmação

11
TÍTULO: Single-assignment program verification
AUTORES: Cláudio Belo Lourenço;
PUBLICAÇÃO: 2018
INDEXADO EM: DBLP
NO MEU: DBLP
Página 2 de 2. Total de resultados: 11.

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