...

Jefferson Purdy

  • @purdyjefferson
  • /
  • Future Marketing Agent
  • /
  • United States
1 Uploads

Presentations (1)

Introduction to SAT Based Abstraction Refinement in Model Checking
Introduction to SAT Based Abstraction Refinement in Model Checking