Pedro Joao Valente Dias Guerreiro


AuthID: R-000-ES6

Publicações a aguardar confirmação

11
TÍTULO: Another characterization of weakest preconditions
AUTORES: Pedro Guerreiro;
PUBLICAÇÃO: 1982, FONTE: Lecture Notes in Computer Science - International Symposium on Programming
INDEXADO EM: CrossRef
NO MEU: ORCID
12
TÍTULO: Relational semantics of strongly communicating sequential processes
AUTORES: Pedro Guerreiro;
PUBLICAÇÃO: 1981, FONTE: Formalization of Programming Concepts - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
NO MEU: ORCID
13
TÍTULO: A relational model for non-deterministic programs and predicate transformers
AUTORES: Pedro Guerreiro;
PUBLICAÇÃO: 1980, FONTE: Lecture Notes in Computer Science - International Symposium on Programming
INDEXADO EM: CrossRef
NO MEU: ORCID
Página 2 de 2. Total de resultados: 13.

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