B. Dorfman is an author at IBM Research - Haifa specializing in systems engineering, computer science, and built-in self-test.
Top concepts
EngineeringLogic DesignVerificationFormal MethodsHardware DesignSystem SoftwareComputer ScienceHardware SystemsProgram AnalysisSoftware Testing
Publications per year
1991–1991
1
1
Rows per page
1–1 of 1