✦ LIBER ✦

[IEEE Comput. Soc Computer Security, Dependability, and Assurance: From Needs to Solutions - York, UK & Williamsburg, VA, USA (7-9 July 1998 & 11-13 November 1998)] Proceedings Computer Security, Dependability, and Assurance: From Needs to Solutions (Cat. No.98EX358) - A symbiotic relationship between formal methods and security

✍ Scribed by Wing, J.M.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc Computer Security, Dep

✍ Agha, G.A.; Ziaei, R. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 562 KB