1
Publications
39
Citations
1
H-Index
2011
Active since
Affiliations
Hacene Zidani is an author at Laboratoire d'Informatique de Paris-Nord specializing in program analysis, automated reasoning, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
2011–2011
1
1
Rows per page
1–1 of 1