Ana Cavalcanti will be delivering an invited lecture at the International School on Formal Methods and Theoretical Informatics on “Formal methods in robotics”.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements
