3
Publications
120
Citations
3
H-Index
1989
Active since
Affiliations
Alexandre Boudet is an author at Université Paris-Sud specializing in automated reasoning, engineering, and formal methods.
Top concepts
Automated ReasoningEngineeringFormal MethodsComputer ScienceProblem ReductionSoftware AnalysisNumerical AnalysisFormal VerificationFormal SpecificationGomory-chvátal Theory
Publications per year
1989–2002
3
3
Rows per page
1–3 of 3