Statistics
Publications
1
Citations
18
H-Index
1
Active since
2020
Affiliations
Loïc Desgeorges is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, formal verification, and computer science.
Publications per year
2020–2020
1
1