3
Publications
41
Citations
3
H-Index
2013
Active since
Affiliations
Achref El Mouelhi is an author at Aix-Marseille Université specializing in formal methods, discrete mathematics, and engineering.
Top concepts
EngineeringFormal MethodsAutomated ReasoningDiscrete MathematicsComputational ComplexityMathematical ProgrammingComputer ScienceFormal VerificationMechanism DesignProgram Analysis
Publications per year
2013–2016
3
3
Rows per page
1–3 of 3