Department of Computer Science

RoboCalc keynote at the Brazilian Symposium on Formal Methods

On the 1st of December Ana Cavalcanti delivered a keynote on RoboCalc as part of the 20th Brazilian Symposium on Formal Methods (SBMF) in Recife, Brazil. The abstract is available on-line.

Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements