José Nuno Oliveira, researcher coordinator of the High-Assurance Software Laboratory (HASLab) of INESC TEC and professor at the Department of Informatics of the School of Engineering of the University of Minho, is together with Ana Neri (INESC TEC) and in collaboration with Rui Barbosa, Staff Researcher at the International Iberian […]