Fourth Workshop on Formal Methods And Tools for Security (FMATS)
FMATS4 was successfully held at Microsoft Research Cambridge on 11 and 12 June 2015. The event was attended by more than 65 participants comprising researchers, industrialists and government employees, and included specialist talks on 15 different topics.
Free