Hardware Model Checking Competition 2012 (HWMCC'12).

  • Armin Biere (Speaker)

Activity: Talk or presentation › Contributed talk › unknown

Period24 Oct 2012
Event title11th Intl. Conf. on Formal Methods in Computer-Aided Design (FMCAD'12)
Event typeConference
LocationUnited KingdomShow on map

Fields of science

  • 102 Computer Sciences
  • 101 Mathematics
  • 102011 Formal languages

JKU Focus areas

  • Computation in Informatics and Mathematics