20 October 2022

Verifiability Talk 40: “RoboCert: Property Specification in Robotics’.”

Speaker: Matt Windsor (University of York)
Title: “RoboCert: Property Specification in Robotics”
Meeting Link: https://bit.ly/robocertprop
Date: 20/10/2022
Time: 16:00 (BST)