João Antunes

UnitAutomated Reasoning and Software Reliability (ARSR)
RoleIntern
DegreeLicenciatura Pos Bolonha

Room320
Emailjoao.c.jeronimo.antunes(at)inesc-id.pt