Get my own profile
Public access
View all1 article
0 articles
available
not available
Based on funding mandates
Co-authors
- Nadav AmitTechnion, Israel Institute of TechnologyVerified email at technion.ac.il
- Noam RinetzkyAssistant Professor of Computer Science, Tel Aviv UniversityVerified email at cs.tau.ac.il
- Nina NarodytskaVMware ResearchVerified email at vmware.com
- Mooly SagivTel Aviv UniversityVerified email at acm.org
- Jorge A NavasCertoraVerified email at certora.com
- Leonid RyzhykFelderaVerified email at feldera.com
- Arie GurfinkelUniversity of WaterlooVerified email at uwaterloo.ca
- Yuval PinterBen-Gurion University of the NegevVerified email at cs.bgu.ac.il