Impact (REF3a/b)
11 - Computer Science and Informatics
Queen Mary University of London
Impact template (REF3a)
Download template (183K)
All impact case studies
Download all case studies (245K)
Individual case studies
Automatic memory safety verification for critical software (263K)