A Special Issue of the “Journal of Logical and Algebraic Methods in Programming”, Elsevier, was recently published, in dedication to the jubilation of Professor José Manuel Esgalhado Valença, HASLab researcher and Professor Emeritus of the Department of Informatics of the School of Engineering. “A tribute to José Manuel Valença” has […]