Login / Signup
Hana Vincourová
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Formal Verification
Website
Benchmark Datasets
Synthetic And Real Datasets
Top Venues
Lang. Resour. Evaluation
CoRR
</>
Publications
</>