Luís Manuel Dias Coelho Soares Barbosa
AuthID: R-000-9KM
1
TÃTULO: Paraconsistency for the Working Software Engineer (Extended Abstract)
AUTORES: Luís Soares Barbosa;
PUBLICAÇÃO: 2025, FONTE: 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 15280 LNCS
AUTORES: Luís Soares Barbosa;
PUBLICAÇÃO: 2025, FONTE: 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 15280 LNCS
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef