Pedro Joao Valente Dias Guerreiro


AuthID: R-000-ES6

Publicações a aguardar confirmação

11
TÍTULO: Object oriented requirements analysis in an Ada project
AUTORES: Maria Manuel Freitas; Ana Moreira; Pedro Guerreiro;
PUBLICAÇÃO: 1990, FONTE: ACM SIGAda Ada Letters - Ada Lett., VOLUME: X, NÚMERO: 6
INDEXADO EM: CrossRef
NO MEU: ORCID
12
TÍTULO: Implementations of nondeterministic programs
AUTORES: Guerreiro, P;
PUBLICAÇÃO: 1984, FONTE: 6th International Symposium on Programming, 1984 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 167 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
13
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
14
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
15
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: 15.

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