Report on the NSF Workshop on Formal Methods for Security
Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
Tim Sherwood contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work