Strichman, Ofer

2 publications

JAIR 2020 Learning the Language of Software Errors Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman

AAAI 2010 A Proof-Producing CSP Solver Michael Veksler, Ofer Strichman