Login / Signup
Mario Gleirscher
ORCID
Publication Activity (10 Years)
Years Active: 2007-2024
Publications (10 Years): 59
Top Topics
Risk Assessment
Technology Transfer
International Workshop
Formal Methods
Top Venues
CoRR
ACM SIGSOFT Softw. Eng. Notes
Inform. Spektrum
ICECCS
</>
Publications
</>