Založit si vlastní profil
Spoluautoři
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
- 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
- Orna GrumbergProfessor of Computer Science, TechnionE-mailová adresa ověřena na: cs.technion.ac.il
- Hillel KuglerBar-Ilan UniversityE-mailová adresa ověřena na: biu.ac.il
- David HarelProfessor of Computer Science, The Weizmann InstituteE-mailová adresa ověřena na: weizmann.ac.il
- Marius MineaAssociate Professor, Politehnica University of TimisoaraE-mailová adresa ověřena na: cs.upt.ro