×
  • 25 Years of Model Checking: History, Achievements, Perspectives

    Edmund M. Clarke (auth.) Orna Grumberg Helmut Veith (eds.)

Click on cover to enlarge.
5 - 6Hours to read