Login / Signup
Florian Lanzinger
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 7
Top Topics
Knowledge Sharing And Reuse
Formal Verification
Arabic Language
Intelligent Software
Top Venues
Proc. ACM Program. Lang.
CoRR
SAC
ISoLA (2)
</>
Publications
</>