research
∙
03/21/2023
Understanding the leading indicators of hospital admissions from COVID-19 across successive waves in the UK
Following the UK Government's Living with COVID-19 Strategy and the end ...
share
research
∙
07/18/2019
Priorities in tock-CSP
The tock-CSP encoding embeds a rich and flexible approach to modelling d...
research
∙
05/14/2019
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP
The growing complexity and diversity of models used in the engineering o...
research
∙
07/23/2018