On the 11th of November 2020 Rob Hierons
gave a talk as part of the UKRI TAS Verifiability Node talks. You can rewatch this and other talks through the Verifiability events page.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements
Powered by Jekyll, developed by Pedro Ribeiro, based on theme by Scott Emmons
Creative Commons Attribution