Vasco Manquinho

UnitAutomated Reasoning and Software Reliability (ARSR)
RoleResearcher
AffiliationDepartamento de Engenharia Informática
DegreeDoutoramento
ResearcherIDA-1774-2009
ORCID0000-0002-4205-2189

Phone213100204 (Portugal +351)
Extension2204
Room329
Emailvasco.manquinho(at)inesc-id.pt
Personal Pagehttp://sat.inesc-id.pt/~vmm