Login / Signup
Loïc Correnson
ORCID
Publication Activity (10 Years)
Years Active: 1997-2024
Publications (10 Years): 7
Top Topics
Earth Observing
False Acceptance
Graphical User Interfaces
Theorem Prover
Top Venues
CoRR
Commun. ACM
TACAS (1)
SEFM Workshops
</>
Publications
</>