# Formal Consistency Checking over Specifications in Natural Languages

> Research article (Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015, 2015) · cited 27× · AI/ML

**Wikidata**: [openalex:W2950176007](https://www.wikidata.org/wiki/openalex:W2950176007)  
**Source**: https://4ort.xyz/entity/formal-consistency-checking-over-specifications-in-natural-languages