A tribute to José Manuel Valença Artigo Académico

• http://www.scopus.com/inward/record.url?eid=2-s2.0-85135824874&partnerID=MN8TOARS
• full text

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Informação adicional documento
•  
• Ver Todos
•  

Visão geral

autores

• Pedro Manuel Rangel Santos Henriques
• Henriques, P.
• Oliveira, J.N.
• Oliveira, José Nuno Fonseca
• Pinto, J.S.
• Barbosa, L.S.
• Pinto, Jorge Sousa
• Barbosa, L. S.
• Henriques, P.R.

data de publicação

• janeiro 1, 2022

publicada em

• Journal of Logical and Algebraic Methods in Programming  Revista

Pesquisas

palavras-chave

• Computational logic
• Information security
• Mechanized reasoning
• Verification

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1016/j.jlamp.2022.100792

Informação adicional documento

Volume

• 128