EPSRC funded project GR/N23684:
Improving the Practicality of Automated Verification (IPAV)

Investigator: Ulrich Ultes-Nitsche.
Research Fellow: Simon St James.

Under Construction.
 
Declarative Systems and Software Engineering Group, Department of Electronics and Computer Science, University of Southampton, Southampton, SO17 1BJ, United Kingdom

(c) 2000 Ulrich Ultes-Nitsche