1
Publications
50
Citations
1
H-Index
2017
Active since
Affiliations
Daniel Ventura is an author at Centre National de la Recherche Scientifique specializing in engineering, formal methods, and automated reasoning.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningGomory-chvátal TheoryMathematical Foundations
Publications per year
2017–2017
1
1
Rows per page
1–1 of 1