Pedro Nunes

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

Extension2313
Room320
Emailpedro.m.s.nunes(at)inesc-id.pt