Fields of science
- 202006 Computer hardware
- 603109 Logic
- 102 Computer Sciences
JKU Focus areas
- Computation in Informatics and Mathematics
FMCAD 2015 Formal Methods in Computer-Aided Design (Event)
- Armin Biere (Member)
Activity: Membership/Function › Program committee