# Property specification patterns at work: verification and inconsistency explanation

> Research article (Innovations in Systems and Software Engineering, 2019) · cited 11× · AI/ML

**Wikidata**: [openalex:W2942619398](https://www.wikidata.org/wiki/openalex:W2942619398)  
**Source**: https://4ort.xyz/entity/property-specification-patterns-at-work-verification-and-inconsistency-explanation