Holzmann Spin Model Checker Primer and Reference Manual 2003

---

67 views

Privacy Protection and Computer Forensics 2 Ed Caloyannides 2004

---

216 views

STANAG 3910

---

595 views