Organisation HWMCC (Hardware Model Checking Competition)

  • Armin Biere (Other)

Activity: Other

Period29 Oct 2011 → 05 Nov 2011

Fields of science

  • 102 Computer Sciences
  • 101 Mathematics
  • 102011 Formal languages

JKU Focus areas

  • Computation in Informatics and Mathematics