UK Model Checking




Registration
To register, simply send email to the organisers. There is no registration fee.


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