Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Or Ozeri
conf.researchr.org general profile
POPL 2017 profile
Registered user since Wed 28 Dec 2016
Name:
Or Ozeri
Affiliation:
Tel Aviv university
Contributions
2017
VMCAI
Author of Conjunctive Abstract Interpretation using Paramodulation within the VMCAI-track
Share
x
Thu 31 Oct 05:46