Login / Signup
David Baelde
Publication Activity (10 Years)
Years Active: 2007-2024
Publications (10 Years): 24
Top Topics
Security Protocols
Sequent Calculus
Theorem Proving
Automated Design
Top Venues
CoRR
CSF
CSL
LICS
</>
Publications
</>