Statistics
Publications
1
Citations
13
H-Index
1
Active since
2023
Affiliations
Verimag(Current)
Benjamin Bonneau is an author at Verimag specializing in formal verification, computer engineering, and automated reasoning.
Publications per year
2023–2023
1
1
1–1 of 1