On the 23rd of March 2023, Pedro Ribeiro will be delivering a talk on “Co-verification: from simulation to verification” as part of the UKRI Trustworthy Autonomous Systems Hub Verfiability Node talk series.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements
