A tribute to José Manuel Valença

The present Special Issue of the Journal of Logical and Algebraic Methods in Programming was planned as a tribute to José Manuel Esgalhado Valença on the occasion of his Jubilation. A tribute to a professor, in the deepest sense of the word, a colleague and a friend, but above all to a long and insp...

Full description

Bibliographic Details

Published in:	Journal of logical and algebraic methods in programming Vol. 128; p. 100792
Main Authors:	Oliveira, José Nuno, Pinto, Jorge Sousa, Barbosa, Luís Soares, Henriques, Pedro Rangel
Format:	Journal Article
Language:	English
Published:	Elsevier Inc 01.08.2022
Subjects:	Computational logic Information security Mechanized reasoning Verification Computational logic Verification Mechanized reasoning Information security
ISSN:	2352-2208
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!