Založit si vlastní profil
Veřejný přístup
Zobrazit všechny7 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Daniel KroeningAmazonE-mailová adresa ověřena na: amazon.com
- Armin BiereProfessor of Computer Science, University of FreiburgE-mailová adresa ověřena na: informatik.uni-freiburg.de
- Alessandro CimattiFondazione Bruno KesslerE-mailová adresa ověřena na: fbk.eu
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusE-mailová adresa ověřena na: mpi-sws.org
- Vadim RyvchinE-mailová adresa ověřena na: tx.technion.ac.il
- Arie GurfinkelUniversity of WaterlooE-mailová adresa ověřena na: uwaterloo.ca
- Hana ChocklerKing's College LondonE-mailová adresa ověřena na: kcl.ac.uk
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyE-mailová adresa ověřena na: eecs.berkeley.edu
- Randal BryantCarnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
- Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityE-mailová adresa ověřena na: nau.edu
- Alexander NadelReseach Scientist, Intel & TechnionE-mailová adresa ověřena na: intel.com
- Roderick BloemGraz University of TechnologyE-mailová adresa ověřena na: iaik.tugraz.at
Sledovat
Ofer Strichman
Technion, Haifa, Israel
E-mailová adresa ověřena na: ie.technion.ac.il - Domovská stránka