This page is hosted at http://www.staff.ncl.ac.uk/alex.yakovlev/home.formal/stella/project-summary.html


You should be taken there automatically, if not please click on the link above .


E-Mail: ian.clark@ncl.ac.uk