2
Publications
33
Citations
2
H-Index
2004
Active since
Affiliations
E. Alikacem is an author at Computer Research Institute of Montréal specializing in system software, software engineering, and formal methods.
Top concepts
EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisParallel ComputingFormal VerificationComputer Engineering
Publications per year
2004–2004
2
2
Rows per page
1–2 of 2