2
Publications
275
Citations
2
H-Index
1984
Active since
Affiliations
John V. Gerbi is an author at IBM (United States) specializing in formal methods, engineering, and social sciences.
Top concepts
DesignEngineeringLogic DesignFormal MethodsSocial SciencesSoftware DesignComputer ScienceIndustrial DesignAutomated ReasoningFormal Verification
Publications per year
1984–2000
2
2
Rows per page
1–2 of 2