Wissenschaftszweige
- 202006 Computer Hardware
- 603109 Logik
- 102 Informatik
JKU-Schwerpunkte
- Computation in Informatics and Mathematics
26th Intl. Conf. on Computer Aided Verification
- Armin Biere (Organisator*in)
- Roderick Bloem (Organisator*in)
Aktivität: Teilnahme an oder Organisation einer Veranstaltung › Organisation von Konferenz, Workshop, ...