Založit si vlastní profil
Veřejný přístup
Zobrazit všechny17 článků
3 články
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Orna GrumbergProfessor of Computer Science, TechnionE-mailová adresa ověřena na: cs.technion.ac.il
- Somesh JhaLubar Chair of Computer Science, University of WisconsinE-mailová adresa ověřena na: cs.wisc.edu
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienE-mailová adresa ověřena na: forsyte.tuwien.ac.at
- Sicun GaoUCSDE-mailová adresa ověřena na: ucsd.edu
- David L. DillProfessor, Emeritus, of Computer Science, Stanford UniversityE-mailová adresa ověřena na: stanford.edu
- Bud MishraProfessor of Computer Science and MathematicsE-mailová adresa ověřena na: nyu.edu
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityE-mailová adresa ověřena na: cs.biu.ac.il
Sledovat
Edmund Clarke
University Professor Emeritus at Carnegie Mellon University
E-mailová adresa ověřena na: cs.cmu.edu - Domovská stránka