UK Model Checking




Contact Details
For any general query, please contact Dr Gerald Luettgen, preferably via email.

Dr Gerald Luettgen
Department of computer Science
University of York
Heslington
York
YO10 5DD

Email: gerald.luettgen@cs.york.ac.uk
Phone: 01904 434774
Fax: 01904 432767


Department of Computer Science, University of York, Heslington, York, YO10 5DD