16
Publications
1.3K
Citations
12
H-Index
1990
Active since
J. Gil is an author at Technion – Israel Institute of Technology specializing in computer science, engineering, and software design.
Top concepts
EngineeringComputer ScienceSoftware DesignFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringAutomated ReasoningComputer Engineering
Publications per year
1990–2024
16
16
Rows per page
1–5 of 16