Microsoft Cambridge

Armin Biere (Visiting person)

Institute of Formal Models and Verification

Activity: Other › Outgoing (legacy data)

Description

Cambridge, U.K., Vereinigtes Königreich

Period	15 Aug 2011 → 19 Aug 2011

Fields of science

102 Computer Sciences
101 Mathematics
102011 Formal languages

JKU Focus areas

Computation in Informatics and Mathematics