Reserved Area
Announcements
Bio
Publications
José N. Oliveira
Software Engineering
Full Professor
(email)
Formal methods
Research
I am professor of Computer Science at the Informatics Department of
University of Minho
and researcher at
HASLab/ INESC TEC
. I am also a member of
IFIP WG 2.1 (Algorithmic Languages and Calculi)
and of the
Formal Methods Europe
(FME) Association.
Read more
Filter by Section
Publications (2)
(-) Bio (1)