Pulse Entdecken nav.journalClub Debatten Trends Forschende

Join discussions, follow papers, and never miss your next session.

Download on theApp Store

Start Entdecken nav.journalClub Trends

⌘+K

André de Matos Pedro | Synapse

AD

André de Matos Pedro

Formal Methods in Verification

University of Beira Interior

About

Research focus

Formal Methods in Verification

Impact

12 pubs · 59 cites · h-index 5

Affiliations

Work Experience

University of Beira Interior

2025 - 2025

INESC TEC

2014 - 2017

Polytechnic Institute of Porto

2014 - 2017

University of Minho

2012 - 2012

Publications