Personal tools
You are here: Home › Lab Seminar › Presentation file › Introduction to SAT-problem for newbie

Introduction to SAT-problem for newbie

SAT for Software Model Checking.ppt — Microsoft PowerPoint presentation, 3237 kB (3315200 bytes)

Document Actions