v1v2 (latest)
Report on the NSF Workshop on Formal Methods for Security
Abstract
Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.
View on arXivComments on this paper
Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.
View on arXiv