Joao Cortes

Unit Automated Reasoning and Software Reliability (ARSR) Role Early Stage Researcher Affiliation R - INESC-ID Lisboa Degree Mestrado Pos Bolonha Phone 2341 (Portugal +351) Extension 2387 Room 328A Email joaooneillcortes(at)inesc-id.pt