FM-SEC is born out of former "UK Network for Formal Methods in Security", which was UK-based... FM-SEC is now a wider, international endavour. We run primarily as a seminar series, with monthly talks, by those active in and interested in formal..
Relevance: 14.337197