Dept
of Computing , University of
Bradford
University Information Service: Contents
| Index | Search
Publications
Details of publications of the following members of the Formal Methods
Group are available:
A collection of the group's technical reports is also being compiled:
Up to Formal Methods Group homepage