Založit si vlastní profil
Veřejný přístup
Zobrazit všechny1 článek
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Nadav AmitTechnion, Israel Institute of TechnologyE-mailová adresa ověřena na: technion.ac.il
- Noam RinetzkyAssistant Professor of Computer Science, Tel Aviv UniversityE-mailová adresa ověřena na: cs.tau.ac.il
- Nina NarodytskaVMware ResearchE-mailová adresa ověřena na: vmware.com
- Mooly SagivTel Aviv UniversityE-mailová adresa ověřena na: acm.org
- Jorge A NavasCertoraE-mailová adresa ověřena na: certora.com
- Leonid RyzhykFelderaE-mailová adresa ověřena na: feldera.com
- Arie GurfinkelUniversity of WaterlooE-mailová adresa ověřena na: uwaterloo.ca
- Yuval PinterBen-Gurion University of the NegevE-mailová adresa ověřena na: cs.bgu.ac.il