The top documents tagged [set of actionst s act]

272: Software Engineering Fall 2012 Instructor: Tevfik Bultan Lecture 3: Modular Verification with Magic, Predicate Abstraction.

---

215 views

272: Software Engineering Fall 2012

---

22 views