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
Powered by Jekyll, developed by Pedro Ribeiro, based on theme by Scott Emmons
Creative Commons Attribution