Wissenschaftszweige
- 102 Informatik
- 101 Mathematik
- 102011 Formale Sprachen
JKU-Schwerpunkte
- Computation in Informatics and Mathematics
Why is the Verification of Software and Hardware More Complicated than Thought Before?
- Gergely Kovasznai (Vortragende*r)
Aktivität: Vortrag oder Präsentation › Eingeladener Vortrag › unbekannt