Wissenschaftszweige
- 202006 Computer Hardware
- 603109 Logik
- 102 Informatik
JKU-Schwerpunkte
- Computation in Informatics and Mathematics
Hardware Model Checking Competition 2014 CAV Edition
- Armin Biere (Vortragende*r)
Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › unbekannt