Skip to main navigation Skip to search Skip to main content

Introduction to Bounded Model Checking

  • Armin Biere (Speaker)

Activity: Talk or presentation › Invited talk › unknown

Period28 Oct 2009
Event titleFATS: Formal Approaches To Software
Event typeOther
LocationSwitzerlandShow on map

Fields of science

  • 102 Computer Sciences
  • 101 Mathematics