On the 29th of October 2020 Jim Woodcock
gave a talk as part of the UKRI TAS Verifiability Node series. You can rewatch it on YouTube.
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