| Popis: | Izraelský informatik. Zabývá se formální verifikací softwaru a hardwaru. |
|---|---|
| WWW: | http://ie.technion.ac.il/Home/Users/ofers.phtml |
| Zdroj: | Národní knihovna ČR |
|
Nemáte ještě svůj účet?
Zaregistrujte se!
|
nebo |