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
