Login / Signup
Pietro Inglese
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 3
Top Topics
Boolean Operations
Memory Requirements
Fault Detection
Modal Logic
Top Venues
IEEE Des. Test
DDECS
DTIS
</>
Publications
</>