Breadcrumbs

Formal Methods

Dr Judy Bowen
Computing; Data; Formal Methods; Human Computer Interaction; Software Engineering

Professor Steve Reeves
Computing; Data Provenance; Formal Methods; Human Computer Interaction; Mathematics; Software Engineering

Dr Jessica Turner
Computing; Formal Methods; Human Computer Interaction; Software Engineering