Department of Computer Science
University | A to Z | Departments
Assurance and Proof
Higher Order Refinement Techniques for the Model Driven Architecture
Phone: +44 (0)1904 325424
E-mail: Send e-mail using web form