Pavol Černý
Professor
| Group | Computer Aided Verification |
|---|---|
| Room | Office HC0311 (Show FORSYTE location) |
| Phone | +43 1 58801 192403 |
| pavol.cerny@tuwien.ac.at | |
| Websites |
https://cernyp.github.io/ http://forsyte.at/~cerny/ |
| Other links |
| Group | Computer Aided Verification |
|---|---|
| Room | Office HC0311 (Show FORSYTE location) |
| Phone | +43 1 58801 192403 |
| pavol.cerny@tuwien.ac.at | |
| Websites |
https://cernyp.github.io/ http://forsyte.at/~cerny/ |
| Other links |