1
Publications
26
Citations
1
H-Index
2006
Active since
Affiliations
A. Amar is an author at Laboratoire d'Informatique Fondamentale de Lille specializing in computer engineering, formal verification, and parallel programming.
Top concepts
EngineeringFormal MethodsProcess ControlSoftware DesignSystem SoftwareComputer ScienceParallel ComputingFormal VerificationSystems EngineeringComputer Engineering
Publications per year
2006–2006
1
1
Rows per page
1–1 of 1