Login / Signup
Matthias Brun
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 7
Top Topics
Data Structure
Top Venues
ITP
Arch. Formal Proofs
Proc. ACM Program. Lang.
CoRR
</>
Publications
</>