The top documents tagged [indian foreign ministry]

Software Model Checking for Confidentiality Rajeev Alur University of Pennsylvania Joint work with Pavol Cerny.

---

217 views

CPT 6th June 2013

---

227 views