The top documents tagged [certification of result]

Evidence-Based Verification Li Tan Computer Science Department Stony Brook Joint work with Rance Cleaveland Augest 2002.

---

216 views

Current Charter

---

213 views