Benny Godlin

5 papers and 76 indexed citations i.

Benny Godlin has authored 5 papers that have received a total of 76 indexed citations. This includes 4 papers in Computational Theory and Mathematics, 2 papers in Artificial Intelligence and 2 papers in Software. The topics of these papers are Formal Methods in Verification (3 papers), Software Testing and Debugging Techniques (2 papers) and Logic, programming, and type systems (2 papers). Benny Godlin is often cited by papers focused on Formal Methods in Verification (3 papers), Software Testing and Debugging Techniques (2 papers) and Logic, programming, and type systems (2 papers) and collaborates with scholars based in Israel and United States. Benny Godlin's co-authors include Ofer Strichman, Johann A. Makowsky, Eitan Farchi and Hana Chockler and has published in prestigious journals such as Acta Informatica, European Journal of Combinatorics and Journal of Logic and Computation