CRAug 2, 2016
Report on the NSF Workshop on Formal Methods for SecurityStephen Chong, Joshua Guttman, Anupam Datta et al.
Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.
Stephen Chong, Joshua Guttman, Anupam Datta et al.
Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.