# A Case in Point: Verification and Testing of a EULYNX Interface

> Research article (Formal Aspects of Computing, 2022) · cited 16× · AI/ML

**Wikidata**: [openalex:W4280585687](https://www.wikidata.org/wiki/openalex:W4280585687)  
**Source**: https://4ort.xyz/entity/a-case-in-point-verification-and-testing-of-a-eulynx-interface