Login / Signup
Zsófia Ádám
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 9
Top Topics
Natural Language
Model Checking
Formal Verification
Hardware Designs
Top Venues
TACAS (3)
TACAS (2)
FormaliSE@ICSE
CoRR
</>
Publications
</>