Wissenschaftszweige
- 202006 Computer Hardware
- 603109 Logik
- 102 Informatik
JKU-Schwerpunkte
- Computation in Informatics and Mathematics
FMCAD 2015 Formal Methods in Computer-Aided Design (Veranstaltung)
- Armin Biere (Mitglied)
Aktivität: Mitgliedschaft/Funktion › Programm-Komitee