1
Publications
24
Citations
1
H-Index
1996
Active since
Affiliations
Sidi Ould Ehmety is an author at Institut national de recherche en sciences et technologies du numérique specializing in program analysis, formal verification, and automated reasoning.
Top concepts
LanguageSemanticsEngineeringLinguisticsFormal MethodsComputer ScienceFormal SemanticsProgram AnalysisSoftware AnalysisAutomated Reasoning
Publications per year
1996–1996
1
1
Rows per page
1–1 of 1