1
Publications
50
Citations
1
H-Index
2002
Active since
Affiliations
G. Al Hayek is an author at Institut de Recherche Interdisciplinaire de Grenoble specializing in hardware systems, formal methods, and system software.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceHardware SystemsProgram AnalysisSoftware TestingSoftware Analysis
Publications per year
2002–2002
1
1
Rows per page
1–1 of 1