Pedro T. Monteiro

Unit Automated Reasoning and Software Reliability (ARSR) Role Researcher Affiliation Instituto Superior Técnico Degree Doutoramento ResearcherID E-5113-2010 ORCID https://orcid.org/0000-0002-7934-5495 Phone 213100320 (Portugal +351) Extension 2320 Room 328-B Email pedro.monteiro(at)inesc-id.pt Personal Page http://pedromonteiro.org