Scholar
Jerome Leroux
Google Scholar ID: 59lfMX4AAAAJ
CNRS researcher, LaBRI, France
Formal Methods
Logique
Counter Systems
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
1,415
H-index
21
i10-index
38
Publications
20
Co-authors
0
