University of Leicester has world-leading researchers in logical, algebraic, and co-algebraic techniques for specification, synthesis, behavioural types, semantic web, graph transformation, software re-engineering and testing of software-intensive systems. Collaborations between
Continuous Integration (CI) is a widely used software development methodology advocating for the immediate integration of changes to code builds. One solution to the development bottlenecks resulting from frequent builds