Organisation Tutorial

Armin Biere (Other)

Institute of Formal Models and Verification

Activity: Other

Period	23 Jan 2011 → 05 Feb 2011

Fields of science

102 Computer Sciences
101 Mathematics
102011 Formal languages

JKU Focus areas

Computation in Informatics and Mathematics