# Verification of Model Transformations Using Isabelle/HOL and Scala

> Research article (Information Systems Frontiers, 2018) · cited 16× · AI/ML

**Wikidata**: [openalex:W2805446263](https://www.wikidata.org/wiki/openalex:W2805446263)  
**Source**: https://4ort.xyz/entity/verification-of-model-transformations-using-isabelle-hol-and-scala