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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of logical and algebraic methods in programming Jg. 128; S. 100792
Hauptverfasser:	Oliveira, José Nuno, Pinto, Jorge Sousa, Barbosa, Luís Soares, Henriques, Pedro Rangel
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Inc 01.08.2022
Schlagworte:	Computational logic Information security Mechanized reasoning Verification Computational logic Verification Mechanized reasoning Information security
ISSN:	2352-2208
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!