1
Publications
12
Citations
1
H-Index
2009
Active since
Affiliations
Université d'Évry Val-d'Essonne(Current)
Demba Coulibaly is an author at Université d'Évry Val-d'Essonne specializing in system software, formal verification, and formal methods.
Top concepts
EngineeringSemantic WebFormal MethodsCloud ComputingSoftware DesignSystem SoftwareComputer ScienceSoftware AnalysisFormal VerificationSystems Engineering
Publications per year
2009–2009
1
1
Rows per page
1–1 of 1