Or Ozeri  Or Ozeri photo       

contact information

Research Staff Member
Haifa Research Lab, Tel Aviv, Israel
  +972dash3dash768dash9530

links



2017

Conjunctive Abstract Interpretation Using Paramodulation
Or Ozeri, Oded Padon, Noam Rinetzky, Mooly Sagiv
Lecture Notes in Computer Science, pp. 442--461, Springer Nature, 2017