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

Celý popis

Podrobná bibliografie

Vydáno v:	Journal of logical and algebraic methods in programming Ročník 128; s. 100792
Hlavní autoři:	Oliveira, José Nuno, Pinto, Jorge Sousa, Barbosa, Luís Soares, Henriques, Pedro Rangel
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.08.2022
Témata:	Computational logic Information security Mechanized reasoning Verification Computational logic Verification Mechanized reasoning Information security
ISSN:	2352-2208
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!