Vasco Manquinho

Unit Automated Reasoning and Software Reliability (ARSR) Role Researcher Affiliation D - Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa Degree Doutoramento ResearcherID A-1774-2009 ORCID 0000-0002-4205-2189 Phone 213100204 (Portugal +351) Extension 2204 Room 329 Email vasco.manquinho(at)inesc-id.pt Personal Page http://sat.inesc-id.pt/~vmm