If you have any further enquiries please contact Prof Ana Cavalcanti or Prof Jim Woodcock.
Anything about the website, please contact Dr. Alvaro Miyazawa.
Postal Address:
Department of Computer Science
University of York, Deramore Lane, York, YO10 5GH, UK
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500 | Fax: 01904 325599