Fields of science
- 102 Computer Sciences
- 101 Mathematics
- 102011 Formal languages
JKU Focus areas
- Computation in Informatics and Mathematics
Why is the Verification of Software and Hardware More Complicated than Thought Before?
- Gergely Kovasznai (Speaker)
Activity: Talk or presentation › Invited talk › unknown