28 January 2021

Verifiability Talk 7: Software Engineering for Robotics (Ana Cavalcanti, University of York)

16:00 – 17:00