Proceedings of the fourth ACM workshop on Formal methods in security

Схожие документы

• Proceedings of the 2003 ACM workshop on Formal methods in security engineering
• Proceedings of the 2004 ACM workshop on Formal methods in security engineering
• Proceedings of the 2005 ACM workshop on Formal methods in security engineering
• Proceedings of the 2007 ACM workshop on Formal methods in security engineering
• Proceedings of the 2018 ACM SIGPLAN International Workshop on Formal Methods and Security