Jonathan Ben-Naim

JB

13

Publications

422

Citations

12

H-Index

2006

Active since

Jonathan Ben-Naim is an author at Centre National de la Recherche Scientifique specializing in engineering, formal methods, and automated reasoning.

Publications per year

2006–2022

13

Publications

13