William Nash

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Asynchronous Circuits

Signature Verification

Multi Agent Systems

Top Venues

Publications

Daniele Magazzeni, Peter McBurney, William Nash
Validation and Verification of Smart Contracts: A Research Agenda. Computer 50 (9) (2017)