José Carlos Bacelar Ferreira Junqueira de Almeida


AuthID: R-000-85N

Publicações a aguardar confirmação

1
TÍTULO: Rigorous software development. an introduction to program verification
AUTORES: José Bacelar Almeida;
PUBLICAÇÃO: 2011
INDEXADO EM: Openlibrary
NO MEU: CIÊNCIAVITAE

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