On the 9th of June 2021 Ana Cavalcanti gave an invited talk at ABZ on “RoboStar technology - a roboticist’s toolbox for combined proof and sound simulation”.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements
