Login / Signup
Anton Setzer
ORCID
Publication Activity (10 Years)
Years Active: 1996-2023
Publications (10 Years): 15
Top Topics
Transactional Properties
Access Control
Graphical User Interfaces
Theorem Prover
Top Venues
TYPES
CoRR
Math. Struct. Comput. Sci.
ICBTA
</>
Publications
</>