Hardware Model Checking Competition 2014 CAV Edition

  • Armin Biere (Speaker)

Activity: Talk or presentation › Contributed talk › unknown

Period20 Jul 2014
Event title26th th Intl. Conf. on Computer-Aided Verification (CAV'14)
Event typeConference
LocationAustriaShow on map

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences

JKU Focus areas

  • Computation in Informatics and Mathematics