Welcome to:

Loughborough University

Department of Computer Studies

Formal Methods Group

We host the


comments/enquiries to the author