# Isabelle/UTP : Mechanised Theory Engineering for Unifying Theories of Programming

> Research article (White Rose Research Online (University of Leeds, The University of Sheffield, University of York), 2019) · cited 14× · AI/ML

**Wikidata**: [openalex:W2927999238](https://www.wikidata.org/wiki/openalex:W2927999238)  
**Source**: https://4ort.xyz/entity/isabelle-utp-mechanised-theory-engineering-for-unifying-theories-of-programming