William L. Nash is an author at King's College London specializing in computer science, formal methods, and law.
Top concepts
LawFintechSecurityBlockchainEngineeringVerificationPublic PolicyFormal MethodsSmart ContractsSoftware Design
Publications per year
2017–2017
1
1
Validation and Verification of Smart Contracts: A Research Agenda
Daniele Magazzeni, Peter McBurney, William L. Nash · Computer · 2017 · 189 citations · Full text
Engineering, Verification, Law +17
Rows per page
1–1 of 1