Login / Signup
Adam Chlipala
ORCID
Publication Activity (10 Years)
Years Active: 2004-2024
Publications (10 Years): 48
Top Topics
Formal Verification
State Machines
Functional Language
Hardware Design
Top Venues
Proc. ACM Program. Lang.
CoRR
ITP
POPL
</>
Publications
</>