Home›Books›ACM Workshop on Formal Methods in Security Engineering (2003 Washington, D.C.)ACM Workshop on Formal Methods in Security Engineering (2003 Washington, D.C.)No biography available.No works found.