Statistics
Publications
1
Citations
132
H-Index
1
Active since
1999
Affiliations
Ben-Gurion University of the Negev(Current)
Cohavit Taboch is an author at Ben-Gurion University of the Negev specializing in program analysis, formal verification, and automated reasoning.
Publications per year
1999–1999
1
1
1–1 of 1