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

Uložené v:

Podrobná bibliografia
Vydané v:	Journal of logical and algebraic methods in programming Ročník 128; s. 100792
Hlavní autori:	Oliveira, José Nuno, Pinto, Jorge Sousa, Barbosa, Luís Soares, Henriques, Pedro Rangel
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Inc 01.08.2022
Predmet:	Computational logic Information security Mechanized reasoning Verification Computational logic Verification Mechanized reasoning Information security
ISSN:	2352-2208
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!