Login / Signup
Pavel Parízek
ORCID
Publication Activity (10 Years)
Years Active: 2006-2024
Publications (10 Years): 15
Top Topics
Cross Platform
Concurrent Programs
Static Analysis
Partial Order Reduction
Top Venues
ACM SIGSOFT Softw. Eng. Notes
TACAS (2)
VMCAI
SAC
</>
Publications
</>