This page is hosted at
http://www.staff.ncl.ac.uk/alex.yakovlev/home.formal/breach/project-summary.html
You should be taken there automatically, if not please click on the link above .
E-Mail:
ian.clark@ncl.ac.uk